渡边庆一；佐藤隆介；津田，武士；直纪小林 自动否定高阶函数程序的公平终止。 （英语） Zbl 1361.68153号 Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。243-255 (2016).MSC公司：60年第68季度 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Watanabe}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。243-255（2016；Zbl 1361.68153） 全文： 内政部
菲利普·吕默；侯赛因·霍贾特；维克多·昆卡 关于无递归Horn子句和Craig插值。 （英语） Zbl 1322.68134号 形式方法系统。设计。 47，第1号，1-25（2015）.MSC公司：60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Rümmer}等人，《形式方法系统》。设计。47，第1号，1-25（2015；Zbl 1322.68134） 全文： 内政部