Jean-Eric Pin. The Expressive Power of Existential First Order Sentences of Büchi s Sequential Calculus. In Friedhelm Meyer auf der Heide, Burkhard Monien, editors, Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings. Volume 1099 of Lecture Notes in Computer Science, pages 300-311, Springer, 1996.
Abstract is missing.