Mélanie Jacquel Karim Berkani David Delahaye Catherine Dubois Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. 332-338 2012 IJCAR https://doi.org/10.1007/978-3-642-31365-3_26 conf/cade/2012 db/conf/cade/ijcar2012.html#JacquelBDD12