J. Chauché Deduction Automatique et Systemes Transformationnels. 408-411 1986 conf/coling/1986 COLING db/conf/coling/coling1986.html#Chauche86 http://aclweb.org/anthology/C/C86/C86-1096.pdf