G.I.莫加达姆。;帕德马纳班，R。;张扬 使用功率图进行自动推理。 （英语） Zbl 1468.03016号 J.汽车。推理 64，编号4689-697（2020）.MSC公司：03立方厘米35 20公里15 20个M10 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{G.I.Moghaddam}等人，J.Autom。推理64，No.4，689--697（2020；Zbl 1468.03016） 全文： 内政部
兰加纳坦帕德马纳班;张扬 环理论中的自动演绎。 （英语） Zbl 1434.68642号 Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 67-74 (2016).MSC公司：68伏15 03立方厘米35 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit｛R.Padmanabhan｝和\textit｛Y.Zhang｝，Lect。注释计算。科学。9725，67-74（2016；Zbl 1434.68642） 全文： 内政部
威廉·麦库恩;帕德马纳班，R。 方程式逻辑和三次曲线的自动推导。 （英语） Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林：Springer-Verlag。ix，第231页，54.00德国马克；öS 394.20；法语。48.00 (1996).MSC公司：03立方厘米35 68吨15 03-02 68-02 03C05号机组 08-04 14-04 2005年第14季度 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan}，等式逻辑和三次曲线的自动演绎。柏林：Springer-Verlag（1996；Zbl 0921.03011） 全文： 内政部