Weighted automata and weighted logics on infinite words
scientific article; zbMATH DE number 5666478
scientific article