OANTS—An open approach at combining interactive and automated theorem proving (2000)

by Christoph Benzmüller, Volker Sorge
Venue:Symbolic Computation and Automated Reasoning