Authors: KENNAWAY JR KLOP JW SLEEP MR DEVRIES FJ

Citation: Jr. Kennaway et al., INFINITARY LAMBDA-CALCULUS, Theoretical computer science, 175(1), 1997, pp. 93-125

Authors: KENNAWAY R KLOP JW SLEEP R DEVRIES FJ

Citation: R. Kennaway et al., COMPARING CURRIED AND UNCURRIED REWRITING, Journal of symbolic computation, 21(1), 1996, pp. 15-39

Authors: KENNAWAY R KLOP JW SLEEP R DEVRIES FJ

Citation: R. Kennaway et al., TRANSFINITE REDUCTIONS IN ORTHOGONAL TERM REWRITING-SYSTEMS, Information and computation, 119(1), 1995, pp. 18-38

Authors: VANEIJCK J DEVRIES FJ

Citation: J. Vaneijck et Fj. Devries, REASONING ABOUT UPDATE LOGIC, Journal of philosophical logic, 24(1), 1995, pp. 19-45

Authors: KENNAWAY JR KLOP JW SLEEP MR DEVRIES FJ

Citation: Jr. Kennaway et al., ON THE ADEQUACY OF GRAPH REWRITING FOR STIMULATING TERM REWRITING, ACM transactions on programming languages and systems, 16(3), 1994, pp. 493-523