System description: Waldmeister – improvements in performance and ease of use (1999)

by T Hillenbrand, A Jaeger, B Löchner
Venue:Proceedings of the 16th International Conference on Automated Deduction, volume 1632 of LNCS