@第{zbMATH01356270条，作者={Le Charlier，Baudouin and Lecl{\`e}re，Christophe and Rossi，Sabina and Cortesi，Agostino}，标题={自动验证{Prolog}程序}，FJournal={逻辑编程杂志}，日志={J.Log.Program.}，ISSN={0743-1066}，体积={39}，数字={1-3}，页码={3--42}，年份={1999}，语言＝{英语}，DOI={10.1016/S0743-1066（98）10032-8}，关键词={68N17,68Q60}，zbMATH={1356270}，Zbl={0947.68023}}