Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View.

Carolyn L. Talcott, Richard W. Weyhrauch

Browse the full ECAI paper archive.