@InProceedings{C34,
  key =		 {C34},
  author =	 {Christoph Benzm{\"u}ller and Jens Otten and Thomas Raths},
  title =	 {Implementing and Evaluating Provers for First-order Modal Logics},
 booktitle =	 {Proc. of the 20th European Conference on Artificial Intelligence (ECAI)}, 
  address =	 {Montpellier, France},
  pages =        {163-168},
  year =	 2012,
  chrisnote =    {acceptance rate <= 28 \%},
  note =         {doi:10.3233/978-1-61499-098-7-163},
}