@Book{Course32,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
  title =	 {(Invited lecture course) Higher-Order Modal Logics: Automation and Applications},
  publisher =	 {Logic Summer School, ANU Canberra, Australia. in December},
  year =	 2015,
  annote =	 {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchool.pdf">slides</a>, <a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchoolDemoExamples.zip">some-demo-files</a>},
}

{"_id":"STS6po6cTb3u2zsGw","bibbaseid":"benzmller-woltzenlogelpaleo-invitedlecturecoursehigherordermodallogicsautomationandapplications-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 lecture course) Higher-Order Modal Logics: Automation and Applications","publisher":"Logic Summer School, ANU Canberra, Australia. in December","year":"2015","annote":"<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchool.pdf\">slides</a>, <a href=\"http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchoolDemoExamples.zip\">some-demo-files</a>","bibtex":"@Book{Course32,\n keywords =\t {teaching,lecture course},\n author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo, Bruno},\n title =\t {(Invited lecture course) Higher-Order Modal Logics: Automation and Applications},\n publisher =\t {Logic Summer School, ANU Canberra, Australia. in December},\n year =\t 2015,\n annote =\t {<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchool.pdf\">slides</a>, <a href=\"http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchoolDemoExamples.zip\">some-demo-files</a>},\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"key":"Course32","id":"Course32","bibbaseid":"benzmller-woltzenlogelpaleo-invitedlecturecoursehigherordermodallogicsautomationandapplications-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","lecture","course","higher","order","modal","logics","automation","applications","benzmüller","woltzenlogel paleo"],"title":"(Invited lecture course) Higher-Order Modal Logics: Automation and Applications","year":2015}