Hans de Nivelle Piotr Witkowski A Small Framework for Proof Checking. 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/paper-04.pdf conf/cade/2008paar db/conf/cade/paar2008.html#NivelleW08