@第{zbMATH05229095条，作者={斯台普顿、杰姆和马斯托夫、朱迪思和弗劳尔、琼和费什、安德鲁和索南、简}，标题={在{Euler}图系统中的自动定理证明}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={39}，数字={4}，页码={431--470}，年份＝｛2007｝，语言={英语}，DOI={10.1007/s10817-007-9069-y}，关键词={68T15}，zbMATH={5229095}，Zbl={1132.68683}}