Using string-rewriting for solving the word problem for finitely presented groups - Madlener, Klaus; Otto, Friedrich (Univ., 1986)