UNIFICATION IN A LAMBDA-CALCULUS WITH INTERSECTION TYPES - Kohlhase, Michael; Pfenning, Frank (Proceedings of the International Logic Programming Symposion ILPS'93, 1993)