@InProceedings{W48,
  key =		 {W48},
  author =	 {Christoph Benzm{\"u}ller and Jens Otten and Thomas Raths},
  title =	 {Implementing Different Proof Calculi for First-order Modal Logics},
  editor = {Pascal Fontaine and Renate Schmidt and Stephan Schulz},
  booktitle =	 {Third Workshop on Practical Aspects of Automated Reasoning 
(PAAR-2012)},
  address =	 {Manchester, UK},
  year =	 2012
}