Semiotics, proofwebs, and distributed cooperative proving, To appear (1997)

by J Goguen, A Mori
Venue:in Proceedings, User Interfaces for Theorem Provers, Sophie-Antipolis