Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. - Mélanie Jacquel; Karim Berkani; David Delahaye; Catherine Dubois (IJCAR, 2012)

Automatisation des preuves pour la vérification des règles de l'Atelier B. (Proof Automation for Atelier B Rules Verification). - Mélanie Jacquel (2013)

Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction. - David Delahaye; Mélanie Jacquel (CoRR, 2015)

Tableaux Modulo Theories Using Superdeduction. - Mélanie Jacquel; Karim Berkani; David Delahaye; Catherine Dubois (CoRR, 2015)

Verifying B proof rules using deep embedding and automated theorem proving. - Mélanie Jacquel; Karim Berkani; David Delahaye; Catherine Dubois (Softw. Syst. Model., 2015)