The decidability border of hereditary history preserving bisimilarity (2005)

by S Fröschle
Venue:Information Processing Letters