T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp, J. Nagele, N. Nishida, K. Shintani, H. Zankl. Confluence Competition 2018. the Leibniz International Proceedings in Informatics (LIPIcs). 2018. 108. 32:1-32:5
HAMANA Makoto. Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. 14th International Symposium on Functional and Logic Programming (FLOPS 2018),. 2018. Lecture Notes in Computer Scie. 99-115