Title: Anwendung von Reduktionssystemen auf das Wortproblem in der Gruppentheorie