"A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem."

Matthias Galota, Heribert Vollmer (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics