@article{ITA_1980__14_3_247_0, author = {Enjalbert, P.}, title = {Syst\`emes de d\'eduction pour les arbres et les sch\'emas de programmes {(I)}}, journal = {RAIRO. Informatique th\'eorique}, pages = {247--278}, publisher = {EDP-Sciences}, volume = {14}, number = {3}, year = {1980}, zbl = {0441.68007}, mrnumber = {593490}, language = {fr}, url = {http://www.numdam.org/item/ITA_1980__14_3_247_0/} }