Some undecidability Results for non-monadic church-rosser thue systems. - OTTO, Friedrich (Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern, 1984)