Integrating External Deduction Tools with ACL2 (2006)

by Matt Kaufmann , J Strother Moore , Ip Ray , Erik Reeber
Venue:Sutcliffe (Eds.), Proceedings of the 6th International Workshop on Implementation of Logics (IWIL 2006
Citations:6 - 4 self