An Interface between Theorema and External Automated Deduction Systems (2001)

by T Kutsia, K Nakagawa
Venue:Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus '01