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