@第{zbMATH07308240条，作者={Lim{'o}n，Y.和B{'a}rcenas，E.和Ben{'{i}}tez-Guerrero，E.和Castillo，G.Molero和Vel{'a{zquez-Mena，a.}，标题={带算术约束的Mu-calculus可满足性}，FJournal={编程与计算机软件}，日志={Program.Comput.Softw.}，ISSN={0361-7688}，体积＝{46}，数字＝｛8｝，页码={503--510}，年份={2020年}，语言={英语}，DOI={10.1134/S0361768820080137}，关键词={68Q60,03B70,68Q85}，zbMATH＝{7308240}，Zbl={1467.68087}}