@inproceedings{KazPH:09:GML:LICS,
  title = "A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics",
  author = "Yevgeny Kazakov and Ian Pratt-Hartmann",
  year = "2009",
  booktitle = "Proc. of LICS 2009",
  isbn = "978-0-7695-3746-7",
  issn = "1043-6871",
  month = "August 11-14",
  pages = "407-416",
  publisher = "IEEE Computer Society",
}