Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann & Panagiotis Manolios (2011):
Integrating Testing and Interactive Theorem Proving.
In: David Hardin & Julien Schmaltz: ACL2,
EPTCS 70,
pp. 4–19.
Available at http://dx.doi.org/10.4204/EPTCS.70.1.
Harsh Raju Chamarthi & Panagiotis Manolios (2011):
Automated specification analysis using an interactive theorem prover.
In: Per Bjesse & Anna Slobodová: FMCAD.
FMCAD Inc.,
pp. 46–53.
Available at http://dl.acm.org/citation.cfm?id=2157665.
David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon & Matthew Wilding (2008):
Efficient execution in an automated reasoning environment.
J. Funct. Program. 18(1),
pp. 15–46.
Available at http://dx.doi.org/10.1017/S0956796807006338.
Matt Kaufmann, Panagiotis Manolios & J Strother Moore (2000):
Computer-Aided Reasoning: An Approach.
Kluwer Academic Publishers,
doi:10.1007/978-1-4757-3188-0.
Matt Kaufmann & J Strother Moore (2013):
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1.
In: Ruben Gamboa & Jared Davis: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, Laramie, Wyoming, USA , May 30-31, 2013,
Electronic Proceedings in Theoretical Computer Science 114.
Open Publishing Association,
pp. 5–12,
doi:10.4204/EPTCS.114.1.
Matt Kaufmann & Rob Sumners (2002):
Efficient Rewriting of Operations on Finite Structures in ACL2.
In: Third International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 '02).
Panagiotis Manolios & Matt Kaufmann (2002):
Adding a Total Order to ACL2.
In: Matt Kaufmann & J Strother Moore: Proceedings of the ACL2 Workshop 2002.
Panagiotis Manolios & Daron Vroon (2006):
Termination Analysis with Calling Context Graphs.
In: Thomas Ball & Robert B. Jones: CAV,
Lecture Notes in Computer Science 4144.
Springer,
pp. 401–414.
Available at http://dx.doi.org/10.1007/11817963_36.
Sol Swords & William R. Cook (2006):
Soundness of the simply typed lambda calculus in ACL2.
In: Panagiotis Manolios & Matthew Wilding: ACL2.
ACM,
pp. 35–39.
Available at http://doi.acm.org/10.1145/1217975.1217982.