Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Keiichirou Kusakari and Akihisa Yamada and Toshiki Sakabe,"Unifying the Knuth-Bendix, recursive path and polynomial orders",Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming,,ACM,2013-09-16,,,181-192,https://cir.nii.ac.jp/crid/1872835442853444736,https://doi.org/10.1145/2505879.2505885