Origin Tracking in Term Rewriting (Abstract).

Jan Willem Klop Origin Tracking in Term Rewriting (Abstract). 1 http://dx.doi.org/10.1007/BFb0052356 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#Klop98