DAY, J. D., REIDENBACH, D., & SCHNEIDER, J. C. (2014). ON THE DUAL POST CORRESPONDENCE PROBLEM. International Journal of Foundations of Computer Science, 25(08), 1033-1048. https://doi.org/10.1142/s012905411440022x