@收款{zbMATH06504233，作者={Cabalar，Pedro和Fandinno，Jorge}，标题={逻辑程序因果证明中的启用码和禁用码}，BookTitle={逻辑编程和非单调推理。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼}，ISBN＝{978-3-319-23263-8；978-3-319-23264-5}，页码={199--212}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-23264-5_18}，关键词={68N17,68T27,68T30}，zbMATH={6504233}，Zbl={1357.68029}}