Joel D. Day, Daniel Reidenbach, Johannes C. Schneider
On the Dual Post Correspondence Problem
DLT, 2014.
@article{DLT-J-2013-DayRS14,
author = "Joel D. Day and Daniel Reidenbach and Johannes C. Schneider",
doi = "10.1142/S012905411440022X",
journal = "{International Journal of Foundations of Computer Science}",
number = 8,
pages = "1033--1048",
publisher = "{World Scientific}",
title = "{On the Dual Post Correspondence Problem}",
volume = 25,
year = 2014,
}