%0 Journal Article
%A Courcelle, Bruno
%A Gallier, Jean H.
%T Decidable subcases of the equivalence problem for recursive program schemes
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1987
%P 245-286
%V 21
%N 3
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1987__21_3_245_0/
%G en
%F ITA_1987__21_3_245_0