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
