Proving Injectivity of Functions via Program Inversion in Term Rewriting.

Naoki Nishida, Masahiko Sakai

Browse the full FLOPS paper archive.