Colouring Terms to Control Equational Reasoning

@article{pub1592,
    author = {

Hutter, Dieter
},
    title = {Colouring Terms to Control Equational Reasoning},
    year = {1997},
    volume = {18},
    pages = {399--442},
    journal = {Journal of Automated Reasoning (JAR)},
    note = {Kluwer-Publishers}
}