塞萨尔·蒂内利(编辑);罗斯、特奥多尔(编辑) 代数方法论和软件技术。第八届国际会议,2000年5月20日至27日,美国爱荷华州爱荷华市AMAST 2000论文集。 (英语) Zbl 1006.00016号 西奥。计算。科学。 291,第3期,219-286(2003).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}(编辑)和\textit{T.Rus}(主编),Theor。计算。科学。291,第3号,219--286(2003;Zbl 1006.00016) 全文: 内政部
塞萨尔·蒂内利;克里斯托夫·林盖森 非不相交理论的结合和可满足性过程的组合。 (英语) Zbl 1018.68033号 西奥。计算。科学。 290,第1期,291-353(2003).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{C.Ringeissen},Theor。计算。科学。290,第1号,291--353(2003;Zbl 1018.68033) 全文: 内政部