Decidable subcases of the equivalence problem for recursive program schemes Bruno Courcelle; Jean H. Gallier — 1987 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications