TY - RPRT TI - From Decidability to Undecidability by Considering Regular Sets of Instances AU - Petra Wolf PY - 2020 UR - https://arxiv.org/abs/1906.08027 ID - 1906.08027 ER -