@InProceedings{LutzSattler-AiML-01,
  author = 	 {C. Lutz and U. Sattler},
  title = 	 {The Complexity of Reasoning with Boolean Modal Logics},
  booktitle = 	 {Advances in Modal Logics Volume 3},
  publisher =    {CSLI Publications, Stanford},
  editor =       {Frank Wolter and Heinrich Wansing and Maarten de Rijke
                  and Michael Zakharyaschev},
  year = 	 {2001},
}