Pseudo natural Algorithms for decision problems in certain types of string-rewriting systems - OTTO, Friedrich (1984)