Equalizing terms by difference reduction techniques (1997)

by D Hutter
Venue:In Proceedings Gramlich, B., Kirchner, H. (Eds.) Workshop on Strategies in Automated Deduction