## Lawrence C. Paulson

*The Reflection Theorem: A Study in Meta-theoretic Reasoning*

CADE, 2002.

@inproceedings{CADE-2002-Paulson, author = "Lawrence C. Paulson", booktitle = "{Proceedings of the 18th International Conference on Automated Deduction}", doi = "10.1007/3-540-45620-1_31", isbn = "3-540-43931-5", pages = "377--391", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{The Reflection Theorem: A Study in Meta-theoretic Reasoning}", volume = 2392, year = 2002, }