PS99] Frank Pfenning and Carsten Sch"urmann. System description: Twelf -- a meta-logical framework for deductive systems (1965)

by Natural Deduction Almquist, Stockholm Wiksell
Venue:Proceedings of the 16th International Conference on Automated Deduction (CADE-16