## Integrating Automated and Interactive Theorem Proving (1998)

by
Wolfgang Ahrendt
,
Bernhard Beckert
,
Reiner Hähnle
,
Wolfram Menzel
,
Wolfgang Reif
,
Gerhard Schellhorn
,
Peter H. Schmitt

Citations: | 32 - 8 self |