Modular Termination of Term Rewriting Systems Revisited.

Maribel Fernndez, Jean-Pierre Jouannaud

Browse the full COMPASS paper archive.