@Book{Course21,
  keywords =	 {teaching,seminar},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and J{\"o}rg Siekmann},
  title =	 {Fortgeschrittenenpraktikum Deduktionssysteme},
  publisher =	 {Saarland University},
  year =         {2007},
  note =	 {I held the Fortgeschrittenenpraktikum  regularly  2004--2007},
}

{"_id":"LsAhEwmKZdT77HokA","bibbaseid":"autexier-benzmller-siekmann-fortgeschrittenenpraktikumdeduktionssysteme-2007","author_short":["Autexier, S.","Benzmüller, C.","Siekmann, J."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,seminar","author":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Autexier"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]}],"title":"Fortgeschrittenenpraktikum Deduktionssysteme","publisher":"Saarland University","year":"2007","note":"I held the Fortgeschrittenenpraktikum regularly 2004–2007","bibtex":"@Book{Course21,\n keywords =\t {teaching,seminar},\n author =\t {Serge Autexier and Christoph Benzm{\\\"u}ller and J{\\\"o}rg Siekmann},\n title =\t {Fortgeschrittenenpraktikum Deduktionssysteme},\n publisher =\t {Saarland University},\n year = {2007},\n note =\t {I held the Fortgeschrittenenpraktikum regularly 2004--2007},\n}\n\n","author_short":["Autexier, S.","Benzmüller, C.","Siekmann, J."],"key":"Course21","id":"Course21","bibbaseid":"autexier-benzmller-siekmann-fortgeschrittenenpraktikumdeduktionssysteme-2007","role":"author","urls":{},"keyword":["teaching","seminar"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/teaching.bib","dataSources":["xAY8GPbjmJsqN99Q8"],"keywords":["teaching","seminar"],"search_terms":["fortgeschrittenenpraktikum","deduktionssysteme","autexier","benzmüller","siekmann"],"title":"Fortgeschrittenenpraktikum Deduktionssysteme","year":2007}