Meta Reasoning in ACL2 (2005)

by W A Hunt, M Kaufmann, R Krug, J S Moore, E Smith
Venue:Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), volume 3603 of Lecture Notes in Computer Science