Integrating External Deduction Tools with ACL2 (2006)

by M Kaufmann, J S Moore, S Ray, E Reeber
Venue:Proceedings of the 6 th International Workshop on Implementation of Logics (IWIL 2006), volume 212 of CEUR Workshop Proceedings