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