@Article{JNS03-IC,
  author = 	 {Marcin Jurdzi{\'n}ski and Mogens Nielsen and 
                  Ji{\v{r}}{\'{\i}} Srba},
  title = 	 {Undecidability of Domino Games and Hhp-Bisimilarity},
  journal = 	 {Information and Computation},
  year = 	 {2003},
  OPTkey = 	 {},
  volume = 	 {184},
  number = 	 {2},
  pages = 	 {343--368},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}