Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP'08)
@proceedings{AB-08-a,
  editor        = {Serge Autexier and Christoph Benzmüller},
  title         = {Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP'08)},
  journal       = {ENTCS},
  volume        = {forthcoming},
  address       = {Montréal, Canada},
  month         = {august},
  year          = {2008},
}