Bell,, "On undecidability bounds for matrix decision problems", Theoretical Computer Science, 2008