Meta Reasoning in ACL2 (2005)

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