@Book{Course12,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Automated Theorem Proving in First-Order and Higher-Order Logic},
  publisher =	 {Saarland University},
  year =	 2004,
  note =	 {Summer 2004, 2+2 SWS},
  annote =       {<a href="http://page.mi.fu-berlin.de/cbenzmueller/lectures/fol-hol-tp/index.html">webpage</a>},
}

{"_id":"NmW2emtqNvhNkwkne","bibbaseid":"benzmller-automatedtheoremprovinginfirstorderandhigherorderlogic-2004","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"title":"Automated Theorem Proving in First-Order and Higher-Order Logic","publisher":"Saarland University","year":"2004","note":"Summer 2004, 2+2 SWS","annote":"<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/lectures/fol-hol-tp/index.html\">webpage</a>","bibtex":"@Book{Course12,\n keywords =\t {teaching,lecture course},\n author =\t {Christoph Benzm{\\\"u}ller},\n title =\t {Automated Theorem Proving in First-Order and Higher-Order Logic},\n publisher =\t {Saarland University},\n year =\t 2004,\n note =\t {Summer 2004, 2+2 SWS},\n annote = {<a href=\"http://page.mi.fu-berlin.de/cbenzmueller/lectures/fol-hol-tp/index.html\">webpage</a>},\n}\n\n","author_short":["Benzmüller, C."],"key":"Course12","id":"Course12","bibbaseid":"benzmller-automatedtheoremprovinginfirstorderandhigherorderlogic-2004","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":["automated","theorem","proving","first","order","higher","order","logic","benzmüller"],"title":"Automated Theorem Proving in First-Order and Higher-Order Logic","year":2004}