"Foundational Proof Certificates in First-Order Logic."

Zakaria Chihani, Dale Miller, Fabien Renaud (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics