Dieter Hutter and
Michael Kohlhase. A Coloured Version of the Lambda-Calculus. In
W. McCune editor, 14th International Conference on Automated Deduction (CADE-14), July 13-17, (1249):291-305, Springer, James Cook University, Townsville, Australia, 1997. google
Joachim Niehren,
Manfred Pinkal and
Peter Ruhrberg. On Equality up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting. In
W. McCune editor, 14th International Conference on Automated Deduction (CADE 14), July 13-17, (1249):34-48, Springer, Townsville, Australia, 1997. [Abstract] google [Annote]
