WALDMEISTER: Development of a High Performance Completion-Based Theorem (1996)

by ARNIM BUCH, THOMAS HILLENBRAND
Venue:Prover. SEKI-Report SR–96–01, FB Informatik