@InProceedings{C40,
  keywords =	 {Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic},
  editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
  author =	 {Christoph Benzm{\"u}ller and Bruno Woltzenlogel
                  Paleo},
  title =	 {Automating {G\"{o}del's} Ontological Proof of {God}'s
                  Existence with Higher-order Automated Theorem
                  Provers},
  pages = {93 -- 98},
  booktitle =	 {ECAI 2014},
  doi = {10.3233/978-1-61499-419-0-93},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = 263,
  publisher = {IOS Press},
  year =	 2014,
  comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2014-ECAI.pdf
                  " target="_blank">slides</a>},
  url =
                  {http://christoph-benzmueller.de/papers/C40.pdf},
}%% Bibtex entry URL: bibtexbrowser.local.php?key=C40&bib=chris.bib