Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems.

Pierre Lescanne

Browse the full IJCAI paper archive.