Higher-order rewrite systems and their confluence - Mayr, Richard; Nipkow, Tobias 1958- (1994)