Decidability of confluence for ground term rewriting systems.

Max Dauchet, Sophie Tison

Browse the full FCT paper archive.