DISCOUNT: A Distributed and Learning Equational Prover (1997)

by J Denzinger, M Kronenburg, S Schulz
Venue:Journal of Automated Reasoning