A browsable format for proof presentation (1996)

by J Grundy
Venue:Proceedings of the Finnish Arti¯cial Intelligence Society Symposium: Logic, Mathematics and the Computer