de Vrijer [1997b], Origin tracking in orthogonal term rewriting systems (0)

by I Bethke, J W Klop, R C