The decidability border of hereditary history preserving bisimilarity
scientific article; zbMATH DE number 5599220