Integrating automated and interactive theorem proving (1998)

by Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Wolfram Menzel, Wolfgang Reif, Gerhard Schellhorn, Peter H Schmitt
Venue:Automated Deduction—A Basis for Applications, volume II. Systems and Implementation Techniques