Are problems in Quantum Information Theory (un)decidable? - Michael M. Wolf; Toby S. Cubitt; David Perez-Garcia (2011)