@第{zbMATH06137023条，作者={Gabbay，Dov}，标题={引入反应式模式表}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={66}，数字={1-4}，页码={55--79}，年份={2012}，语言={英语}，DOI={10.1007/s10472-012-9314-x}，关键词={03B45,03F03,03B62}，URL={orbilu.uni.lu/handle/10993/15854}，zbMATH={6137023}，Zbl={1271.03028}}