@第{zbMATH06725121条，作者={Chaudhari，Dipak L.和Damani，Om}，标题={通过注释程序进行假设传播}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN＝{0934-5043}，体积={29}，数字={3}，页码={495--530}，年份={2017年}，语言={英语}，DOI={10.1007/s00165-016-0395-x}，关键词={68N30}，zbMATH={6725121}，Zbl=｛1362.68043｝}