Vesa Halava, Stepan Holub
Reduction Tree of the Binary Generalized Post Correspondence Problem
DLT, 2011.
@article{DLT-J-2009-HalavaH11,
author = "Vesa Halava and Stepan Holub",
doi = "10.1142/S0129054111008143",
journal = "{International Journal of Foundations of Computer Science}",
number = 2,
pages = "473--490",
publisher = "{World Scientific}",
title = "{Reduction Tree of the Binary Generalized Post Correspondence Problem}",
volume = 22,
year = 2011,
}