Higher-Order Modal Logics: Automation and Applications (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Higher-Order Modal Logics: Automation and Applications (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Reasoning Web 2015 (Adrian Paschke, Wolfgang Faber, eds.), Springer, LNCS, number 9203, pp. 32-74, 2015. (Preprint: https://www.researchgate.net/publication/281677232)
Bibtex Entry:
@inproceedings{C46,
  Address =	 {Berlin, Germany},
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {Reasoning Web 2015},
  Doi =		 {10.1007/978-3-319-21768-0_2},
  Editor =	 {Adrian Paschke and Wolfgang Faber},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Addendum =	 {(Invited paper)},
  Number =	 9203,
  Pages =	 {32-74},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Higher-Order Modal Logics: Automation and
                  Applications},
  Addendum =	 {Preprint:
                  \url{https://www.researchgate.net/publication/281677232}},
  Year =	 2015,
}