Naoki Nishida, Masahiko Sakai. Proving Injectivity of Functions via Program Inversion in Term Rewriting. In Matthias Blume, Naoki Kobayashi, Germán Vidal, editors, Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Volume 6009 of Lecture Notes in Computer Science, pages 288-303, Springer, 2010. [doi]
Abstract is missing.