Jurdzinski M, Nielsen M. Hereditary History Preserving Bisimilarity is Undecidable. BRICS [Internet]. 1999 Jan. 19 [cited 2024 Apr. 19];6(19). Available from: https://tidsskrift.dk/brics/article/view/20076