安德烈亚斯·波德尔斯基；托马斯·怀斯 反例引导焦点。 （英语） Zbl 1312.68067号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。249-260 (2010).MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{T.Wies}，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'10，西班牙马德里，2010年1月17-23日。纽约州纽约市：计算机协会（ACM）。249--260（2010；Zbl 1312.68067） 全文： 内政部
安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 转移谓词抽象和公平终止。 （英语） Zbl 1369.68152号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。132-144 (2005).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko}，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。132-144（2005年；Zbl 1369.68152） 全文： 内政部