@收款{zbMATH01790379，作者={Aosima、Takenobu和Yonezaki、Naoki}，Title={一种有效的基于表的反应系统规范部分评估验证方法}，BookTitle={信息建模和知识库。第12卷}，国际标准图书编号={1-58603-163-5}，页码={363--374}，年份={2001}，出版商={阿姆斯特丹：IOS出版社}，语言={英语}，关键词={68Q60}，zbMATH={1790379}，Zbl={1004.68095}}