@inproceedings{Kazakov:02:RecResML,
  title = "Recursive resolution for modal logic",
  author = "Yevgeny  Kazakov",
  year = "2002",
  address = "Saarbr{\"u}cken, Germany",
  booktitle = "Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi",
  month = "March",
  organization = "International Max Planck Research School for Computer Science (IMPRS)",
  pages = "11--15",
  publisher = "Max-Planck-Institut f{\"u}r Informatik",
  series = "Max-Planck-Institut f{\"u}r Informatik Research Report",
  volume = "MPI-I-2002-2-007",
}