Bishop Brock
Defstructure for ACL2, 1997
http://www.cs.utexas.edu/users/moore/publications/acl2-papers.html#Data-Structures
Harsh Raju Chamarthi
Peter C. Dillinger
Matt Kaufmann
Panagiotis Manolios
2011
Integrating Testing and Interactive Theorem Proving
David Hardin
Julien Schmaltz
ACL2
EPTCS
70
4–19
http://dx.doi.org/10.4204/EPTCS.70.1
Harsh Raju Chamarthi
Panagiotis Manolios
2011
Automated specification analysis using an interactive theorem prover
Per Bjesse
Anna Slobodová
FMCAD
FMCAD Inc.
46–53
http://dl.acm.org/citation.cfm?id=2157665
Jared C. Davis
Std/util Documentation
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=ACL2____STD_F2UTIL
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
15–46
http://dx.doi.org/10.1017/S0956796807006338
Matt Kaufmann
Panagiotis Manolios
J Strother Moore
2000
Computer-Aided Reasoning: An Approach
Kluwer Academic Publishers
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
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
5–12
10.4204/EPTCS.114.1
Matt Kaufmann
Rob Sumners
2002
Efficient Rewriting of Operations on Finite Structures in ACL2
Third International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 '02)
Panagiotis Manolios
Matt Kaufmann
2002
Adding a Total Order to ACL2
Matt Kaufmann
J Strother Moore
Proceedings of the ACL2 Workshop 2002
Panagiotis Manolios
Daron Vroon
2006
Termination Analysis with Calling Context Graphs
Thomas Ball
Robert B. Jones
CAV
Lecture Notes in Computer Science
4144
Springer
401–414
http://dx.doi.org/10.1007/11817963_36
Sol Swords
FixType Documentation
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=FTY____FTY
Sol Swords
William R. Cook
2006
Soundness of the simply typed lambda calculus in ACL2
Panagiotis Manolios
Matthew Wilding
ACL2
ACM
35–39
http://doi.acm.org/10.1145/1217975.1217982