DAY, JOEL D., REIDENBACH, DANIEL, SCHNEIDER, JOHANNES C., "ON THE DUAL POST CORRESPONDENCE PROBLEM", International Journal of Foundations of Computer Science, 2014