The Computability Path Ordering: The End of a Quest.

Frdric Blanqui, Jean-Pierre Jouannaud, Albert Rubio

Browse the full CSL paper archive.