System Description: Twelf --- A Meta-Logical Framework for Deductive Systems (1999)

by Frank Pfenning, Carsten Schurmann
Venue:Proceedings of the 16th International Conference on Automated Deduction (CADE-16