%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
%U http://www.numdam.org/item/ITA_1981__15_1_3_0/
%G fr
%F ITA_1981__15_1_3_0