Dieter Hutter Coloring Terms to Control Equational Reasoning. 399-442 1997 18 J. Autom. Reasoning 3 db/journals/jar/jar18.html#Hutter97 http://dx.doi.org/10.1023/A:1005772217686