Patrice Enjalbert Systèmes de Déduction pour les Arbres et les Schémas de Programme (II). 3-21 1981 15 ITA 1 db/journals/ita/ita15.html#Enjalbert81