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