@Article{Pla82,
    Author       = "Plaisted, D.A.",
    Year         = "1982",
    Title        = "{A Simplified Problem Reduction Format}",
    Journal      = "Artificial Intelligence",
    Volume       = "18",
    Pages        = "227-261",
    Comment      = "TPTPRef, resolution/semantics"
}