G.I.莫加达姆。;帕德马纳班，R。;张扬 使用功率图进行自动推理。 （英语） Zbl 1468.03016号 J.汽车。推理 64，第4号，689-697（2020）。MSC公司：03B35型 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 03B35型 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{Y.Zhang}，Lect。注释计算。科学。9725，67-74（2016；Zbl 1434.68642） 全文： 内政部