@InCollection{B9,
  key    =       {B09},
  author =	 {Christoph Benzm{\"u}ller and Lawrence Paulson},
  editor =       {Christoph Benzm{\"u}ller and Chad E.~Brown and J{\"o}rg Siekmann and Richard Statman},
  booktitle = 	 {{Festschrift in Honor of {Peter B. Andrews} on His 70th Birthday}},
  chapter = 	 {Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II},
  publisher = 	 {College Publications},
  year = 	 2008,
  series =	 {Studies in Logic, Mathematical Logic and Foundations},
}