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