Masanori长岛；Masahiko酒井；坂部俊彦 条件项重写系统的确定。 （英语） Zbl 1253.68199号 西奥。计算。科学。 464, 72-89 (2012).MSC公司：2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Nagashima}等人，Theor。计算。科学。464，72-89（2012年；兹比尔1253.68199） 全文： 内政部
直纪西田；Masahiko酒井；坂部俊彦 条件项重写系统通过与线性相关的超属性展开的合理性。 （英语） Zbl 1252.68161号 日志。方法计算。科学。 8，第3号，第4号论文，49页（2012）.MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人，日志。方法计算。科学。8，第3号，第4号论文，49页（2012；Zbl 1252.68161） 全文： 内政部
直纪西田；Masahiko酒井；坂部俊彦 确定性条件项重写系统通过与线性相关的超属性展开的合理性。 （英语） Zbl 1236.68143号 Schmid-Schauß，Manfred（编辑），第22届改写技术和应用国际会议（RTA 2011），塞尔维亚诺维萨德，2011年5月30日至6月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-30-9）。LIPIcs–莱布尼茨国际信息学论文集10，267-282，仅电子版（2011）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人，LIPIcs——莱布尼茨国际程序。通知。10、267--282（2011；Zbl 1236.68143） 全文： 内政部 arXiv公司 链接