A Gap Between Linear and Non Linear Term-Rewriting Systems (1).

Max Dauchet Francesco De Comité A Gap Between Linear and Non Linear Term-Rewriting Systems (1). 95-104 1987 conf/rta/87 RTA db/conf/rta/rta87.html#DauchetC87 http://dx.doi.org/10.1007/3-540-17220-3_9