Common Lisp The Language. Digital Press, second edition,1990. [55] R. Sumners. Correctness proof of a BDD manager in thecontext of satisfiability checking (2000)

by G L Steele
Venue:Proceedings of the 2nd International Workshop onthe ACL2 Theorem Prover and Its Applications, 2000. See URL http://www.cs.utexas.edu/users/moore/acl2/workshop-2000/. [56] M. Sustik. Proof of Dickson's