Towards lean proof checking, to appear in the proceedings of (1996)

by G Barthe, H Elbers
Venue:DISCO’96, Lecture Notes in Computer Science