A Computational Approach to Pocklington Certificates in Type Theory. - Grégoire, Benjamin; Théry, Laurent; Werner, Benjamin (2006)