Encoding complexities in decision problems of finitely presented combinatorial systems. - Madlener, Klaus (Interner Bericht, 1982)