@inproceedings{W54,
  keywords =	 {LEO Prover, Automated Reasoning, Proof
                  Transformation, Higher Order Logic},
  author =	 {Christoph Benzm\"uller},
  title =	 {{HOL} Provers for First-order Modal Logics --- Experiments},
  booktitle =	 {Proceedings on the 1st International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL)},
  editor =	 {Christoph Benzmu{\"u}ller and Jens Otten},
  year =	 2014,
 series =	 {EPiC Series},
  publisher = {EasyChair},
  pages =	 {1-106},
  note = {To appear},
  url = {http://christoph-benzmueller.de/papers/W54.pdf}
}
%% Bibtex entry URL: bibtexbrowser.local.php?key=W54&bib=chris.bib