Undecidability of existential properties in picture languages
scientific article; zbMATH DE number 1495220
scientific article