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 (CADE–16), volume 1632 of LNAI