雅各布·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提取范围和集合。 （英语） 兹比尔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） 全文： 内政部