@TechReport{infinity2005-techrep,
  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", 
  institution =  {Faculty of Informatics, Masaryk University},
  year =         "2005",
  note =         "A full version of INFINITY 2005 paper.",
  number =       {FIMU-RS-2005-06, 22pp}
}