M
ultiset_
O
rdering_
N
P
C
Multiset_Ordering_More
Propositional_Formula
Multiset_Ordering_in_NP
Multiset_Ordering_NP_Hard
RPO_NP_Hard