A colored version of the λ-calculus - Hutter, Dieter; Kohlhase, Michael (14th International Conference on Automated Deduction, CADE 1997, 1997)