Zenon : An extensible automated theorem prover producing checkable proofs (2007)

by R Bonichon, D Delahaye, D Doligez
Venue:LPAR, volume 4790 of LNCS