塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；巴利亚特·纳伦德兰；克里斯托夫·林盖森 句法理论层次组合中的统一与匹配。 （英语） Zbl 1471.68108号 Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 291-306 (2015).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。9322、291--306（2015；Zbl 1471.68108） 全文： 内政部 哈尔
阿南塔拉曼，湿婆；巴利亚特·纳伦德兰；迈克尔·鲁西诺维奇 统一模ACUI加分配公理。 （英语） Zbl 1063.03006号 J.汽车。推理 33，第1期，1-28页（2004年）.MSC公司：03B35型 68吨15 2012年第68季度 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人，J.Autom。推理33，No.1，1--28（2004；兹bl 1063.03006） 全文： 内政部
Franz巴德；巴利亚特·纳伦德兰 描述逻辑中概念术语的统一。 （英语） Zbl 0970.68166号 J.塞姆。计算。 31，第3期，277-305（2001）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{P.Narendran}，J.Symb。计算。31，第3号，277--305（2001；Zbl 0970.68166） 全文： 内政部 链接
郭青；巴利亚特·纳伦德兰；Wolfram博士。 幂零统一和匹配问题的复杂性。 （英语） Zbl 1045.68603号 Inf.计算。 162，编号1-2，3-23（2000）.MSC公司：68吨15 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Guo}等人，《信息计算》。162，编号1--2，3--23（2000；Zbl 1045.68603） 全文： 内政部
郭青；巴利亚特·纳伦德兰；沃尔夫拉姆，D.A。 模幂零的统一与匹配。 （英语） Zbl 1412.68229号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 261-274 (1996).MSC公司：68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Guo}等人，Lect。注释计算。科学。1104，261--274（1996；Zbl 1412.68229） 全文： 内政部
巴利亚特·纳伦德兰；弗里德里希·奥托 关于方程统一的一些结果。 （英语） Zbl 1509.68122号 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 276-291 (1990).MSC公司：2012年第68季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}和\textit{F.Otto}，莱克特。注释计算。科学。449276-291（1990年；Zbl 1509.68122） 全文： 内政部
巴利亚特·纳伦德兰；乔纳森·斯蒂尔曼 Knuth-Bendix完成程序是否生成交叉对尚不确定。 （英语） Zbl 1494.68119号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 348-359 (1989).MSC公司：2012年第68季度 03日第10天 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}和\textit{J.Stillman}，莱克特。注释计算。科学。349、348--359（1989年；Zbl 1494.68119） 全文： 内政部