Jan Willem Klop Roel C. de Vrijer Extended Term Rewriting Systems. 26-50 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#KlopV90