1. ACL2 Community. ACL2 documentation topic: FAST-ALISTS.
http://www.cs.utexas.edu/users/moore/acl2/current/manual/index.html?topic=ACL2____FAST-ALISTS
2. ACL2 Community. ACL2 documentation topic: STOBJ.
http://www.cs.utexas.edu/users/moore/acl2/v7-2/manual/?topic=ACL2____STOBJ
3. ACL2 Community. ACL2 system and libraries on GitHub.
https://github.com/acl2/acl2/
4. ACL2 LRAT checker.
https://github.com/acl2/acl2/tree/master/books/projects/sat/lrat/
5. Ivančić, F., Yang, Z., Ganai, M.K., Gupta, A., Ashar, P.: Efficient SAT-based bounded model checking for software verification. Theoretical Computer Science 404(3), 256–274 (2008)