TY  - RPRT
TI  - Baba is You is Undecidable
AU  - Jonathan Geller
PY  - 2022
DO  - 10.1109/cog57401.2023.10333219
UR  - https://arxiv.org/abs/2205.00127
ID  - 2205.00127
ER  -