The Generalized Multiset Ordering is NP-Complete. - René Thiemann; Lukas Schmidinger (Arch. Formal Proofs, 2022)