Bruno Courcelle, Gilles Kahn, Jean Vuillemin. Algorithmes d equivalence et de reduction a des expressions minimales dans une classe d equations recursives simples. In Jacques Loeckx, editor, Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings. Volume 14 of Lecture Notes in Computer Science, pages 200-213, Springer, 1974.
Abstract is missing.