DMCA

To appear in EPTCS. Proof Outlines as Proof Certificates: A system description

by Roberto Blanco , Dale Miller