@第{zbMATH07246544条，作者={Carreiro、Facundo和Facchini、Alessandro和Venema、Yde和Zanasi、Fabio}，标题={弱者的力量}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={21}，数字={2}，页码={47}，注={Id/No 15}，年份={2020年}，语言={英语}，DOI={10.1145/3372392}，关键词={68Q60,03B16,03B45,68Q45}，zbMATH={7246544}，Zbl=｛1446.68089｝}