@第{zbMATH04106831条，作者＝{克利夫兰，兰斯}，标题={命题微积分中基于表格的模型检查}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={27}，数字={8}，页码={725--747}，年份={1990}，语言={英语}，DOI={10.1007/BF00264284}，关键词={03F07,68Q65}，zbMATH={4106831}，Zbl={0676.03033}}