A browsable format for proof presentation (1996)

by Jim Grundy
Venue:Mathesis Universalis