Christoph Benzmüller, Bruno Woltzenlogel Paleo. Higher-Order Modal Logics: Automation and Applications. In Wolfgang Faber, Adrian Paschke, editors, Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures. Volume 9203 of Lecture Notes in Computer Science, pages 32-74, Springer, 2015. [doi]
@inproceedings{BenzmullerP15-0,
title = {Higher-Order Modal Logics: Automation and Applications},
author = {Christoph Benzmüller and Bruno Woltzenlogel Paleo},
year = {2015},
doi = {10.1007/978-3-319-21768-0_2},
url = {http://dx.doi.org/10.1007/978-3-319-21768-0_2},
researchr = {https://researchr.org/publication/BenzmullerP15-0},
cites = {0},
citedby = {0},
pages = {32-74},
booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
editor = {Wolfgang Faber and Adrian Paschke},
volume = {9203},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-21767-3},
}