Contents: General Concepts from Universal Algebra.- Finite Sets of Reductions.- Infinite Sets of Reductions.- Automata and Reductions.- Deciding Algebraic Properties of Finitely Presented Monoids by Friedrich Otto.- References.- Subject Index.- List of Symbols and Abbreviations.