Frank Pfenning, Carsten Schürmann
System Description: Twelf — A Meta-Logical Framework for Deductive Systems
CADE, 1999.
@inproceedings{CADE-1999-PfenningS,
author = "Frank Pfenning and Carsten Schürmann",
booktitle = "{Proceedings of the 16th International Conference on Automated Deduction}",
doi = "10.1007/3-540-48660-7_14",
isbn = "3-540-66222-7",
pages = "202--206",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{System Description: Twelf — A Meta-Logical Framework for Deductive Systems}",
volume = 1632,
year = 1999,
}