Deduction Automatique Et Systemes Transformationnels J Chauche author 1986 text Coling 1986 Volume 1: The 11th International Conference on Computational Linguistics conference publication chauche-1986-deduction https://aclanthology.org/C86-1096/ 1986