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