斯蒂芬·西格尔（Stephen F.Siegel）。;蒂莫西·齐科尔。 TASS：精确科学软件的工具包。 （英语） Zbl 1264.68113号 数学。计算。科学。 5，第4期，395-426（2011）。MSC公司：60年第68季度 68号30 68甲19 65D99型 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Siegel}和\textit{T.K.Zirkel}，数学。计算。科学。5，第4号，395--426（2011；Zbl 1264.68113） 全文： 内政部
阿贝德，赛义德;奥特曼·艾特·穆罕默德 基于多路决策图的LCF风格平台。 （英语） 兹比尔1347.68299 Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246，3-26（2009）。MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}和\textit{O.A.Mohamed}，电子。注释Theor。计算。科学。246、3--26（2009年；Zbl 1347.68299） 全文： 内政部