"Faster Proof Checking in the Edinburgh Logical Framework."

Aaron Stump, David L. Dill (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics