Muller message-passing automata and logics
scientific article; zbMATH DE number 5349798
scientific article