@Article{J15,
  key =		 {J15},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller},
  title =	 {Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers ({UITP} 2006)},
  journal =	 {Electronic Notes in Theoretical Computer Science},
  volume =	 174,
  number =	 {2},
  issn =         {1571-0661},
  pages =        {1-2},
  year =	 2007,
  url =		 {www.ags.uni-sb.de/~chris/papers/J15.pdf},
  note =         {doi:10.1016/j.entcs.2006.09.017},
}