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.
@inproceedings{CourcelleKV74, title = {Algorithmes d equivalence et de reduction a des expressions minimales dans une classe d equations recursives simples}, author = {Bruno Courcelle and Gilles Kahn and Jean Vuillemin}, year = {1974}, researchr = {https://researchr.org/publication/CourcelleKV74}, cites = {0}, citedby = {0}, pages = {200-213}, booktitle = {Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings}, editor = {Jacques Loeckx}, volume = {14}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-06841-4}, }