西蒙·科尔顿;斯蒂芬·马格尔顿 归纳逻辑编程的数学应用。 （英语） Zbl 1103.68438号 机器。学习。 64，第1-3号，25-64（2006）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Colton}和\textit{S.Muggleton}，马赫。学习。64，编号1--3，25-64（2006；Zbl 1103.68438） 全文： 内政部
西蒙·科尔顿;安德烈亚斯·梅耶;沃尔克·索尔格;罗伊·麦卡斯兰德 有限代数分类定理的自动生成。 （英语） Zbl 1126.68562号 David Basin（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。人工智能课堂讲稿，400-414（2004）。MSC公司：68吨15 2004年8月 20-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Colton}等人，Lect。注释计算。科学。3097400-414（2004年；兹bl 1126.68562） 全文： 内政部
西蒙·科尔顿 纯数学中的自动理论形成。 （英语） Zbl 1219.68141号 杰出论文伦敦：施普林格出版社（ISBN 978-1-85233-609-7/hbk）。十六、380页。(2002).MSC公司：68吨15 03B35型 68-02 第11年55 PDF格式BibTeX公司 XML格式引用 \textit{S.Colton}，《纯数学中的自动理论形成》。伦敦：施普林格出版社（2002；Zbl 1219.68141）