"The Computability Path Ordering: The End of a Quest."

Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics