Alexandre Boudet, Hubert Comon. Diophantine Equations, Presburger Arithmetic and Finite Automata. In Hélène Kirchner, editor, Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Volume 1059 of Lecture Notes in Computer Science, pages 30-43, Springer, 1996.
Abstract is missing.