K.W.: Source-level proof reconstruction for interactive theorem proving (2007)

by L C Paulson, Susanto
Venue:Lecture Notes in Computer Science