拉杰夫·阿鲁尔;马杜苏丹，P。 直观的下推语言。 （英语） Zbl 1192.68396号 2004年6月13日至15日，美国伊利诺伊州芝加哥举行的第36届ACM计算理论年会（STOC 2004）会议记录。纽约州纽约市：ACM出版社（ISBN 1-58113-852-0）。202-211，仅电子版（2004年）。MSC公司：2012年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{P.Madhusudan}，摘自：第36届ACM计算理论年会论文集，STOC 2004。美国伊利诺伊州芝加哥，2004年6月13日至15日。纽约州纽约市：ACM出版社。202-211（2004；Zbl 1192.68396） 全文： 内政部 链接
克里斯托夫·Löding;马杜苏丹，P。;奥利维尔·塞雷 明显的下推游戏。 （英语） Zbl 1117.68409号 Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328，408-420（2004）。MSC公司：65年第68季度 60年第68季度 91年43月 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}等人，Lect。注释计算。科学。3328408--420（2004年；Zbl 1117.68409） 全文： 内政部