拉马纳·库马尔;赫德，乔 使用开放理论的独立策略。 （英语） Zbl 1360.68756号 Beringer、Lennart（编辑）等，《交互式定理证明》。第三届国际会议，2012年ITP，美国新泽西州普林斯顿，2012年8月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32346-1/pbk）。计算机科学课堂讲稿7406，405-411（2012）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}和\textit{J.Hurd}，莱克特。注释计算。科学。7406405--411（2012年；Zbl 1360.68756） 全文： 内政部
理查德·博尔顿;赫德，乔;康拉德·斯林德 计算机辅助推理。迈克尔·J·C·戈登的节日。 （英语） Zbl 1179.01037号 J.汽车。推理 43，第3期，237-242（2009）.MSC公司：01A70号 68-02 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Boulton}等人，J.Autom。推理43，No.3，237--242（2009；Zbl 1179.01037） 全文： 内政部