Bruno Courcelle Jean Vuillemin Completeness Results for the Equivalence of Recursive Schemas. 179-197 1976 12 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss12.html#CourcelleV76