@article{ShYi2000b,
   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},
   format = {ps.gz},
   category = {journal program-logics},
}