约尔格·布劳尔;安迪·金 无量词消除的传递函数综合。 （英语） Zbl 1326.68080号 Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记660297-115（2011）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}和\textit{A.King}，莱克特。注释计算。科学。660297-115（2011年；Zbl 1326.68080） 全文： 内政部 arXiv公司
雅各布·M·豪。;安迪·金;查尔斯·劳伦斯·琼斯 四叉树作为一个抽象域。 （英语） Zbl 1342.68087号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记267，第1期，89-100（2010）。MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Howe}等人，《电子》。注释Theor。计算。科学。267，编号1，89--100（2010；Zbl 1342.68087） 全文： 内政部
埃德·巴雷特;安迪·金 使用SAT进行范围和集合抽象。 （英语） Zbl 1342.68067号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，17-27（2010）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Barrett}和\textit{A.King}，电子。注释Theor。计算。科学。267，编号1，17--27（2010；Zbl 1342.68067） 全文： 内政部
雅各布·M·豪。;安迪·金 Logahedra：一个新的弱关系域。 （英语） Zbl 1262.68122号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，306-320（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Howe}和\textit{A.King}，莱克特。注释计算。科学。5799、306--320（2009年；Zbl 1262.68122） 全文： 内政部 链接