@Article{J25,
  key = {J25},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic},
  journal =	 {Annals of Mathematics and Artificial Intelligence (Special issue Computational logics in Multi-agent Systems (CLIMA XI))},
  year = 2011,
  volume = 62,
  number = {1-2},
  pages = {103-128},
  note = {doi:10.1007/s10472-011-9249-7}
}