Caron, Mignot, Miklarz, 2017. On the decidability of k-Block determinism.