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