A General Theorem on Termination of Rewriting.

Jeremy E. Dawson, Rajeev Gor

Browse the full CSL paper archive.