Decidability in geometric grid classes of permutations - Samuel Braunfeld (2023)