安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 名义抽象。 （英语） Zbl 1215.03049号 Inf.计算。 209，第1期，48-73（2011）.MSC公司：03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}等人，《信息计算》。209，第1号，48--73（2011；Zbl 1215.03049） 全文： 内政部
安德鲁·加塞克 阿贝拉互动定理证明器。（系统描述）。 （英语） Zbl 1165.68457号 阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，154-161（2008）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}，莱克特。注释计算。科学。5195154-161（2008年；Zbl 1165.68457） 全文： 内政部 arXiv公司