@Proceedings{E9,
  key =  {E09},
  title = 	 {User Interfaces for Theorem Provers, Proceedings of
UITP'06},
  booktitle = 	 {User Interfaces for Theorem Provers, Proceedings of
UITP'06},
  publisher =	 {Elsevier},
  volume =	 174,
  number =	 {2},
  issn =         {1571-0661},
  pages =        {1-2},
  year =	 2007,
  editor =	 {Serge Autexier and Christoph Benzm{\"u}ller},
  series =	 {Electronic Notes in Theoretical Computer Science},
}