@收款{zbMATH01497744，作者={Melis，Erica and Sorge，Volker}，标题={在证据规划中使用外部推理器}，BookTitle={Calculemus 99。综合计算和演绎系统，意大利特伦托，1999年7月11-12日}，页码={11}，年份={1999}，出版商＝{阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68T15}，zbMATH={1497744}，Zbl={0958.68152}}