Nao Hirokawa;朱利安·纳格尔;文森特·范·奥斯特罗姆;小山口，美雄 通过关键对分析重温汇合。 （英语） Zbl 07178984号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 319-336 (2019).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Hirokawa}等人，Lect。注释计算。科学。11716319-336（2019年；兹bl 07178984） 全文： 内政部 arXiv公司 链接
苏拉布·卡西达什维利;小川，水井裕人;文森特·范·奥斯特罗姆 正交重写系统中的持久性和一致归一化。 （英语） Zbl 1003.68057号 Inf.计算。 164，第1期，第118-151页（2001年）.MSC公司：2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Khasidashvili}等人，《信息计算》。164，编号1，118--151（2001；Zbl 1003.68057） 全文： 内政部 链接