Coloring Terms to Control Equational Reasoning

Dieter Hutter. Coloring Terms to Control Equational Reasoning. Journal of Automated Reasoning, 18(3):399-442, 1997.

Abstract

Abstract is missing.