## Matthias Galota, Heribert Vollmer

*A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem*

CSL, 2001.

@inproceedings{CSL-2001-GalotaV, author = "Matthias Galota and Heribert Vollmer", booktitle = "{Proceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic}", doi = "10.1007/3-540-44802-0_25", isbn = "3-540-42554-3", pages = "355--368", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem}", volume = 2142, year = 2001, }