An ACL2 tutorial (2008)

by Matt Kaufmann, J Strother Moore
Venue:In TPHOLs ’08: Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics