19 Reduction Computation History PCP
Histories Post Correspondence Problem
http://www.cs.tau.ac.il/~bchor/CM05/Compute8-print.pdf