@proceedings{E9,
  Booktitle =	 {User Interfaces for Theorem Provers, Proceedings of
                  UITP'06},
  Editor =	 {Serge Autexier and Christoph Benzm{\"u}ller},
  Issn =	 {1571-0661},
  Keywords =	 {own, User Interface},
  Number =	 2,
  Pages =	 {1-2},
  Publisher =	 {Elsevier},
  Series =	 {Electronic Notes in Theoretical Computer Science},
  Title =	 {User Interfaces for Theorem Provers, Proceedings of
                  UITP'06},
  Url =
                  {http://www.sciencedirect.com/science/journal/15710661/174/2},
  Volume =	 174,
  Year =	 2007,
}

{"_id":"3GuLMjtpoyjr2Zxdg","bibbaseid":"autexier-benzmller-userinterfacesfortheoremproversproceedingsofuitp06-2007","bibdata":{"bibtype":"proceedings","type":"proceedings","booktitle":"User Interfaces for Theorem Provers, Proceedings of UITP'06","editor":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Autexier"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"issn":"1571-0661","keywords":"own, User Interface","number":"2","pages":"1-2","publisher":"Elsevier","series":"Electronic Notes in Theoretical Computer Science","title":"User Interfaces for Theorem Provers, Proceedings of UITP'06","url":"http://www.sciencedirect.com/science/journal/15710661/174/2","volume":"174","year":"2007","bibtex":"@proceedings{E9,\n Booktitle =\t {User Interfaces for Theorem Provers, Proceedings of\n UITP'06},\n Editor =\t {Serge Autexier and Christoph Benzm{\\\"u}ller},\n Issn =\t {1571-0661},\n Keywords =\t {own, User Interface},\n Number =\t 2,\n Pages =\t {1-2},\n Publisher =\t {Elsevier},\n Series =\t {Electronic Notes in Theoretical Computer Science},\n Title =\t {User Interfaces for Theorem Provers, Proceedings of\n UITP'06},\n Url =\n {http://www.sciencedirect.com/science/journal/15710661/174/2},\n Volume =\t 174,\n Year =\t 2007,\n}\n\n","editor_short":["Autexier, S.","Benzmüller, C."],"key":"E9","id":"E9","bibbaseid":"autexier-benzmller-userinterfacesfortheoremproversproceedingsofuitp06-2007","role":"editor","urls":{"Paper":"http://www.sciencedirect.com/science/journal/15710661/174/2"},"keyword":["own","User Interface"],"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","user interface"],"search_terms":["user","interfaces","theorem","provers","proceedings","uitp"],"title":"User Interfaces for Theorem Provers, Proceedings of UITP'06","year":2007}