@InCollection{zbMATH06247468，作者={Saptawijaya，Ari和Pereira，Lu{'{i}}s Moniz}，标题={逻辑程序更新的查询驱动传播的增量表}，BookTitle={编程、人工智能和推理逻辑。第19届国际会议，LPAR-19，南非斯泰伦博斯，2013年12月14-19日。诉讼}，国际标准图书编号={978-3-642-45220-8}，Pages＝{694-709}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-45221-5_46}，关键词={68N17}，zbMATH＝{6247468}，Zbl={1407.68085}}