@inproceedings{SD02,
author= "A. Stump and D. Dill",
title={{Faster Proof Checking in the Edinburgh Logical Framework}},
booktitle="18th International Conference on Automated Deduction",
editors="A. Voronkov",
year="2002"}