Dieter Hutter. Coloring Terms to Control Equational Reasoning. Journal of Automated Reasoning, 18(3):399-442, 1997.
@article{Hutter97,
title = {Coloring Terms to Control Equational Reasoning},
author = {Dieter Hutter},
year = {1997},
researchr = {https://researchr.org/publication/Hutter97},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {18},
number = {3},
pages = {399-442},
}