Search: Combining Interactive And Automated Theorem Proving
2001
[1]OANTS -- Combining Interactive and Automated Theorem Proving (Christoph Benzmüller, Volker Sorge), In Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase, eds.), A.K.Peters, pp. 81-97, 2001. (slides) (Preprint: http://christoph-benzmueller.de/papers/C8.pdf) [bibtex]