Rewrites as Terms through Justification Logic.

Pablo Barenbaum, Eduardo Bonelli

Browse the full PPDP paper archive.