EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract). - Mohamed Yacine El Haddad; Guillaume Burel; Frédéric Blanqui (PxTP, 2019)

Integrating Automated Theorem Provers in Proof Assistants. (Utiliser des démonstrateurs automatiques dans un assistant à la preuve). - Mohamed Yacine El Haddad (2021)