Waldmeister: High Performance Equational Theorem Proving (1996)

by A Buch, T Hillenbrand, R Fettig
Venue:Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, number 1128 in Lecture Notes in Computer Science