The computability path ordering | Publicación