Jacques Chauché: Deduction Automatique et Systemes Transformationnels. COLING 1986: 408-411