The topological complexity of MSO+U and related automata models
scientific article; zbMATH DE number 6078218