@article{J15,
  Author =	 {Serge Autexier and Christoph Benzm{\"u}ller},
  Doi =		 {10.1016/j.entcs.2006.09.017},
  Issn =	 {1571-0661},
  Journal =	 {Electronic Notes in Theoretical Computer Science},
  Keywords =	 {own, User Interface, Proof Assistants},
  Number =	 2,
  Pages =	 {1-2},
  Title =	 {Preface: Proceedings of the 7th Workshop on User
                  Interfaces for Theorem Provers ({UITP} 2006)},
  url_preprint = {http://christoph-benzmueller.de/papers/J15.pdf},
  Volume =	 174,
  Year =	 2007,
}

{"_id":"H2oAHzoJe8GWyPYG8","bibbaseid":"autexier-benzmller-prefaceproceedingsofthe7thworkshoponuserinterfacesfortheoremproversuitp2006-2007","author_short":["Autexier, S.","Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Autexier"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"doi":"10.1016/j.entcs.2006.09.017","issn":"1571-0661","journal":"Electronic Notes in Theoretical Computer Science","keywords":"own, User Interface, Proof Assistants","number":"2","pages":"1-2","title":"Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006)","url_preprint":"http://christoph-benzmueller.de/papers/J15.pdf","volume":"174","year":"2007","bibtex":"@article{J15,\n Author =\t {Serge Autexier and Christoph Benzm{\\\"u}ller},\n Doi =\t\t {10.1016/j.entcs.2006.09.017},\n Issn =\t {1571-0661},\n Journal =\t {Electronic Notes in Theoretical Computer Science},\n Keywords =\t {own, User Interface, Proof Assistants},\n Number =\t 2,\n Pages =\t {1-2},\n Title =\t {Preface: Proceedings of the 7th Workshop on User\n Interfaces for Theorem Provers ({UITP} 2006)},\n url_preprint = {http://christoph-benzmueller.de/papers/J15.pdf},\n Volume =\t 174,\n Year =\t 2007,\n}\n\n","author_short":["Autexier, S.","Benzmüller, C."],"key":"J15","id":"J15","bibbaseid":"autexier-benzmller-prefaceproceedingsofthe7thworkshoponuserinterfacesfortheoremproversuitp2006-2007","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/J15.pdf"},"keyword":["own","User Interface","Proof Assistants"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","user interface","proof assistants"],"search_terms":["preface","proceedings","7th","workshop","user","interfaces","theorem","provers","uitp","2006","autexier","benzmüller"],"title":"Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006)","year":2007}