Colouring terms to control equational reasoning (1997)

by Dieter Hutter
Venue:Journal of Automated Reasoning