Towards lean proof checking (1996)

by G Barthe, H Elbers
Venue:Proceedings of DISCO'96, volume 1128 of Lecture Notes in Computer Science