富克斯，亚历山大；阿米特·戈尔；吉姆，格兰迪；萨瓦·克里斯蒂奇；塞萨尔·蒂内利 平等理论的地面插值。 （英语） 兹比尔12346.8257 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。《计算机科学讲义》5505、413-427（2009）。MSC公司：60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fuchs}等人，Lect。注释计算。科学。5505413-427（2009年；Zbl 1234.68257） 全文： 内政部 arXiv公司
彼得·鲍姆加特纳；富克斯，亚历山大；汉斯·德·尼维尔；塞萨尔·蒂内利 通过简化为无函数子句逻辑计算有限模型。 （英语） Zbl 1171.68040号 J.应用。日志。 7，第1期，58-74（2009）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人，J.Appl。日志。7，第1号，58--74（2009；Zbl 1171.68040） 全文： 内政部