Origin tracking in orthogonal term rewriting systems (1997)

by I Bethke, J W Klop, R C de Vrijer