@InProceedings{infinity2005-entcs,
  author =       "M. K{\v{r}}et\'{\i}nsk\'{y} and V. {\v{R}}eh\'{a}k and J. Strej\v{c}ek",
  title =       "{R}efining the {U}ndecidability {B}order of {W}eak
                    {B}isimilarity",
  booktitle =    "Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)",
  year =         "2006",
  series =       "Electronic Notes in Theoretical Computer Science",
  publisher =    "Elsevier Science Publishers",
  volume =       "149",
  pages =        "17--36"
}