@第{zbMATH07264289条，作者={Belle，Vaishak和De Raedt，Luc}，Title={半环编程：广义和积问题的语义框架}，FJournal={国际近似推理杂志}，期刊={国际期刊近似推理}，ISSN={0888-613X}，体积={126}，页码={181--201}，年份={2020年}，语言={英语}，DOI={10.1016/j.ijar.2020.08.001}，关键词={68T01,68N19,68T27}，URL={lirias.kuleuven.be/handle/123456789/669318}，zbMATH＝{7264289}，Zbl={1490.68176}}