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,
}