Faster Proof Checking in the Edinburgh Logical Framework (2002)

by Aaron Stump, David L. Dill
Venue:In 18th International Conference on Automated Deduction