@收款{zbMATH06767595，作者={Kupferman，Orna and Vardi，Gal}，标题={关于相对和概率有限抗衡}，BookTitle={第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼}，国际标准图书编号={978-3-939897-90-3}，页码={175--192}，年份={2015年}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/LIPIcs.CSL.2015.175}，关键词={68Q60,68Q45}，zbMATH={6767595}，Zbl={1373.68288}}