Publikation Colouring Terms to Control Equational Reasoning Dieter Hutter In: Journal of Automated Reasoning (JAR), Vol. 18, Pages 399-442, 1997. http://www.dfki.de/vse/papers/hutter97.ps.gz (gz, 56 KB ) BibTeX Export 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} }