R. Gutbrod
-
Two undecidability results for chain code picture languages
Theoretical Computer Science