马杜苏丹，P。;Gennaro帕拉托;邱晓康 结合堆结构和数据的可决定逻辑。 （英语） Zbl 1284.68411号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。611-622 (2011).MSC公司：60年第68季度 03B70号 68磅05分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}et al.，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。611--622（2011；Zbl 1284.68411） 全文： 内政部 链接
马杜苏丹，P。;Gennaro帕拉托 辅助存储器的树宽度。 （英语） 兹比尔1284.68358 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。283-294 (2011).MSC公司：65年第68季度 05二氧化碳 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}和\textit{G.Parlato}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。283-294（2011；Zbl 1284.68358） 全文： 内政部 链接