Waldmeister: Highperformance equational deduction (1997)

by T Hillenbrand, A Buch, R Vogt, B Löchner
Venue:Journal of Automated Reasoning