The importance of proof maintenance and reengineering (1995)

by P Curzon
Venue:In Proc. Int. Workshop on Higher Order Logic Theorem Proving and Its Applications