Undecidability of domino games and hhp-bisimilarity.
hereditary history preserving bisimilarity
scientific article; zbMATH DE number 1967139
scientific article