Preface
@inproceedings{AB-07-a,
  author        = {Serge Autexier, Christoph Benzmüller},
  editor        = {Serge Autexier, Christoph Benzmüller},
  booktitle     = {7th Workshop on User Interfaces for Theorem Provers (UITP'06)},
  title         = {Preface},
  volume        = {174(2)},
  series        = {Electronic Notes on Theoretical Computer Science},
  publisher     = {Elsevier},
  pages         = {1-2},
  month         = {april},
  year          = {2007},
}