%0 Journal Article %A Enjalbert, P. %T Systèmes de déduction pour les arbres et les schémas de programmes (I) %J RAIRO. Informatique théorique %D 1980 %P 247-278 %V 14 %N 3 %I EDP-Sciences %G fr %F ITA_1980__14_3_247_0