Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J. Strother Moore, Eric Whitman Smith. Meta Reasoning in ACL2. In Joe Hurd, Thomas F. Melham, editors, Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Volume 3603 of Lecture Notes in Computer Science, pages 163-178, Springer, 2005. [doi]
Abstract is missing.