Undecidability of infinite post correspondence problem for instances of size 8

From MaRDI portal
Publication:2905329