@Book{Course31,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
  title =	 {(Invited tutorial) Higher-Order Modal Logics: Automation and Applications},
  publisher =	 {Reasoning Web Summer School},
  year =	 2015,
  annote =	 {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},
}

{"_id":"ksYix2mwAm3WTBi8P","bibbaseid":"benzmller-woltzenlogelpaleo-invitedtutorialhigherordermodallogicsautomationandapplications-2015","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"title":"(Invited tutorial) Higher-Order Modal Logics: Automation and Applications","publisher":"Reasoning Web Summer School","year":"2015","annote":"<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf\">slides</a>","bibtex":"@Book{Course31,\n keywords =\t {teaching,lecture course},\n author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo, Bruno},\n title =\t {(Invited tutorial) Higher-Order Modal Logics: Automation and Applications},\n publisher =\t {Reasoning Web Summer School},\n year =\t 2015,\n annote =\t {<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf\">slides</a>},\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"key":"Course31","id":"Course31","bibbaseid":"benzmller-woltzenlogelpaleo-invitedtutorialhigherordermodallogicsautomationandapplications-2015","role":"author","urls":{},"keyword":["teaching","lecture course"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/teaching.bib","dataSources":["xAY8GPbjmJsqN99Q8"],"keywords":["teaching","lecture course"],"search_terms":["invited","tutorial","higher","order","modal","logics","automation","applications","benzmüller","woltzenlogel paleo"],"title":"(Invited tutorial) Higher-Order Modal Logics: Automation and Applications","year":2015}