Posting Puzzle https://mame.github.io/posting-puzzle/Mirko Rahn. Entscheidbare Fälle des Postschen Korrespondenzproblems https://publikationen.bibliothek.kit.edu/1000009979/614948
http://www.nicovideo.jp/watch/sm42358843