A Monotonic Higher-Order Semantic Path Ordering | Publicación