Automated Theorem Proving in a Simple Meta-Logic for LF (1998)

by C Schürmann, F Pfenning
Venue:15th International Conference on Automated Deduction (CADE