## Carsten Schürmann, Frank Pfenning

*Automated Theorem Proving in a Simple Meta-Logic for LF*

CADE, 1998.

@inproceedings{CADE-1998-SchurmannP, author = "Carsten Schürmann and Frank Pfenning", booktitle = "{Proceedings of the 15th International Conference on Automated Deduction}", ee = "http://link.springer.de/link/service/series/0558/bibs/1421/14210286.htm", isbn = "3-540-64675-2", pages = "286--300", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Automated Theorem Proving in a Simple Meta-Logic for LF}", volume = 1421, year = 1998, }