Authors: MAYR R NIPKOW T

Citation: R. Mayr et T. Nipkow, HIGHER-ORDER REWRITE SYSTEMS AND THEIR CONFLUENCE, Theoretical computer science, 192(1), 1998, pp. 3-29