@InProceedings{infinity2005,
  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 =    "Preliminary Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)",
  series =       "BRICS Notes Series",
  volume =       "NS-05-4",
  year =         "2005",
  publisher =    "Basic Research in Computer Science, Aarhus, Denmark",
  pages =        "3--14"
}