Roel de Vrijer

Iterative Path Orders Extended abstract

Vincent van Oostrom, Jan Willem Klop, Roel de Vrijer, 2002 .

Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday

Vincent van Oostrom, Aart Middeldorp, Femke van Raamsdonk, 2005, Processes, Terms and Cycles.

Exactly estimating functionals and strong normalization

Roel de Vrijer, R. D. Vrijer, 1987 .