Proceedings of the 7th Workshop on User Interfaces for Theorem Provers

@proceedings{pub2978,
    editor = {

Autexier, Serge
 and 

Benzmüller, C.
},
    title = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2006), August 21-21, Seattle, WA, United States},
    series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
    year = {2007},
    volume = {174},
    number = {2},
    publisher = {Elsevier}
}