Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP'06)<pre>@proceedings{AB-06-a,
  editor        = {Serge Autexier and Christoph Benzm\"uller},
  title         = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP'06)},
  address       = {Seattle, WA, USA},
  month         = {august},
  year          = {2006},
}
</pre>