Confluence of Reduction Rules for Lexicographic Ordering Constraints

Open in new window