Weighted automata and weighted logics with discounting
scientific article; zbMATH DE number 5603649
scientific article