Systèmes de déduction pour les arbres et les schémas de programme (II) P. Enjalbert RAIRO. Inform. théor., 15 1 (1981) 3-21 Published online: 01 February 2017 DOI: 10.1051/ita/1981150100031