ap.theories.nia
Graded Reverse Lexicographical ordering (Using the termOrdering!)
(Since version ) see corresponding Javadoc for more information.
Graded Reverse Lexicographical ordering (Using the termOrdering!)