B. Woltzenlogel-Paleo et al.:
"Higher-Order Modal Logics: Automation and Applications";
in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin", 9203; Springer LNCS, 2015, ISBN: 978-3-319-21768-0, 32 - 74.
http://www.springer.com/de/book/9783319217673