Waldmeister: Highperformance equational deduction (1997)

by T Hillenbrand, A Buch, R Vogt, B Löchner
Venue:Automated Deduction — CADE-23, volume 6803 of Lecture Notes in Computer Science