Matthias Galota, Heribert Vollmer. A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem. In Laurent Fribourg, editor, Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Volume 2142 of Lecture Notes in Computer Science, pages 355-368, Springer, 2001. [doi]
Abstract is missing.