Origin tracking for higher-order term rewriting systems - Deursen, Arie van; Dinesh, T. B. (Stichting Mathematisch Centrum, 1994)