System description: Twelf – a meta-logical framework for deductive systems. (1999)

by Frank Pfenning, Carsten Schürmann
Venue:In Automated Deduction – CADE-16,