克里希南德·查特吉；拉斯穆斯·易卜森·延森；安德烈亚斯·帕夫罗甘尼斯；普拉蒂什·戈亚尔 具有恒定树宽的递归状态机中代数路径属性的更快算法。 （英语） Zbl 1346.68047号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。97-109 (2015).MSC公司：68甲15 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。97-109（2015年；兹bl 1346.68047） 全文： 内政部 arXiv公司
Hansen，Kristoffer Arnsfelt；拉斯穆斯·易卜森·延森；彼得·米尔特森兄弟 使用值和策略迭代求解可达性博弈的复杂性。 （英语） Zbl 1319.68149号 理论计算。系统。 55，第2期，380-403（2014）.MSC公司：68问题85 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Hansen}等人，《理论计算》。系统。55，第2号，380--403（2014；Zbl 1319.68149） 全文： 内政部 arXiv公司