Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.

Guillem Godoy, Ashish Tiwari

Browse the full CADE paper archive.