%0 Journal Article %A Enjalbert, P. %T Systèmes de déduction pour les arbres et les schémas de programme (II) %J RAIRO. Informatique théorique %D 1981 %P 3-21 %V 15 %N 1 %I EDP-Sciences %G fr %F ITA_1981__15_1_3_0