Dale Vaillancourt, Rex L. Page, Matthias Felleisen. ACL2 in DrScheme. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 107-116, ACM, 2006. [doi]
Abstract is missing.