Title: Effiziente Normalform-Algorithmen für Erstzungssysteme über frei partiell kommutativen Monoiden