An Example of FOL Using Metatheory. Formalizing Reasoning and Introducing Derived Inference Rules (1982)

by R W Weyhrauch
Venue:In Proceedings of the 6th Conference on Automatic Deduction