Practical Algorithms for Deciding Path Ordering Constraint Satisfaction | Publicación