The Theory of Ground Rewrite Systems is Decidable

Max Dauchet, Sophie Tison

Browse the full LICS paper archive.