@InProceedings{LutzSattler-AiML-2000,
  author = 	 {C. Lutz and U. Sattler},
  title = 	 {The Complexity of Reasoning with Boolean Modal Logic},
  booktitle = 	 {Advances in Modal Logic 2000 (AiML 2000)},
  address =      {Leipzig, Germany},
  year =	 2000,
  note =         "Final version appeared in Advanced in Modal Logic Volume 3, 2001."
}