@article{ShilovYi00bulletin,
  author = "Nikolay Shilov and Kwangkeun Yi",
  title = "Model Checking Puzzles in Mu-Calculus",
  journal = "Joint Bulletin of the Novosibirsk Computing Center and A.P.Ershov Institute of Informatics Systems",
  number = "13",
  year = "2000"
}