@书籍{zbMATH00912759，作者={McCune，William和Padmanabhan，R.}，标题={方程式逻辑和三次曲线中的自动推导}，F系列＝{计算机科学讲义}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={1095}，国际标准图书编号={3-540-61398-6}，年份={1996}，出版商={柏林：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-61398-6}，关键词={03B35,68T15,03-02,68-02,03C05,08-04,14-04,14Q05,14H45}，zbMATH={912759}，Zbl={0921.03011}}