阿德里亚·加斯科恩;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 二限制一上下文统一在多项式时间内。 （英语） Zbl 1373.68269号 Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-90-3）。LIPIcs–莱布尼茨国际信息学论文集41，405-422（2015）。MSC公司：65年第68季度 03B70号 2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人，LIPIcs——莱布尼茨国际程序。通知。41、405--422（2015；Zbl 1373.68269） 全文： 内政部
阿德里亚·加斯科恩;吉列姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 与一个上下文变量的上下文统一。 （英语） Zbl 1192.68431号 J.塞姆。计算。 45，第2期，173-193（2010）.MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人，J.Symb。计算。45，第2号，173--193（2010；Zbl 1192.68431） 全文： 内政部 链接