@第{zbMATH02235823条，作者={McMillan，K.L.}，标题={插值定理证明器}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN＝{0304-3975}，体积={345}，数字={1}，页码={101--121}，年份={2005}，语言={英语}，DOI={10.1016/j.tcs.2005.07.003}，关键词={68T15,03B35,03C40,68Q60}，zbMATH={2235823}，Zbl={1079.68092}}