Integrating external deduction tools with ACL2

Matt Kaufmann, J. Strother Moore, Sandip Ray, Erik Reeber. Integrating external deduction tools with ACL2. J. Applied Logic, 7(1):3-25, 2009. [doi]

Abstract

Abstract is missing.