杰根，基督;霍尼克，约琴 保证明树插值。 （英语） Zbl 1356.68184号 J.汽车。推理 57，第1号，67-95（2016）.MSC公司：68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和textit{J Hoenicke}，J.Autom。推理57，No.1，67--95（2016；Zbl 1356.68184） 全文： DOI程序
杰根，基督;霍尼克，约琴 切割混合物。 （英语） Zbl 1381.68262号 Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-21667-6/pbk；978-3-3169-21668-3/ebook）。计算机科学课堂讲稿9207，37-52（2015）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和textit{J Hoenicke}，莱克特。注释计算。科学。9207,37-52（2015；Zbl 1381.68262） 全文： DOI程序