Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo.

Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant

Browse the full LPAR paper archive.