Systèmes de déduction pour les arbres et les schémas de programmes (I)P. EnjalbertRAIRO. Inform. théor., 14 3 (1980) 247-278DOI: https://doi.org/10.1051/ita/1980140302471
