@article{ITA_1981__15_1_3_0, author = {Enjalbert, P.}, title = {Syst\`emes de d\'eduction pour les arbres et les sch\'emas de programme {(II)}}, journal = {RAIRO. Informatique th\'eorique}, pages = {3--21}, publisher = {EDP-Sciences}, volume = {15}, number = {1}, year = {1981}, zbl = {0464.68019}, mrnumber = {610943}, language = {fr}, url = {http://www.numdam.org/item/ITA_1981__15_1_3_0/} }