, ,
Elsevier
Theoretical Computer Science
Quantum Computing and Advanced System Research

Halava, V., Hirvensalo, M., & de Wolf, R. (2001). Marked PCP is decidable. Theoretical Computer Science, 255(1-2), 193–204.