TY  - JOUR
AU  - Enjalbert, P.
TI  - Systèmes de déduction pour les arbres et les schémas de programme (II)
JO  - RAIRO. Informatique théorique
PY  - 1981
SP  - 3
EP  - 21
VL  - 15
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1981__15_1_3_0/
LA  - fr
ID  - ITA_1981__15_1_3_0
ER  -