The recursive path and polynomial ordering for first-order and higher-order terms | Publicación