Pseudo natural Algorithms for decision problems in certain types of string-rewriting systems. - Madlener, Klaus (Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht, 1984)