Automated theorem proving in a simple meta-logic for LF (1998)

by Carsten Schürmann, Frank Pfenning
Venue:In Proceedings of International Conference on Automated Deduction (CADE), volume 1421 of LNCS