@InProceedings{JN00:STACS,
  author =       {Marcin Jurdzi{\'n}ski and Mogens Nielsen},
  title =        {Hereditary History Preserving Bisimilarity Is Undecidable},
  booktitle =    {STACS 2000, 17th Annual Symposium on Theoretical Aspects 
                  of Computer Science, Proceedings}, 
  pages =        {358--369},
  year =         {2000},
  editor =       {Horst Reichel and Sophie Tison},
  volume =       {1770},
  series =       {Lecture Notes in Computer Science},
  address =      {Lille, France},
  month =        {February},
  publisher =    {Springer-Verlag}
}