Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant. Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. In Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, editors, 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Volume 35 of EPiC Series in Computing, pages 42-58, EasyChair, 2015. [doi]
@inproceedings{BuryDDHH15,
title = {Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo},
author = {Guillaume Bury and David Delahaye and Damien Doligez and Pierre Halmagrand and Olivier Hermant},
year = {2015},
url = {http://www.easychair.org/publications/paper/Automated_Deduction_in_the_B_Set_Theory_using_Typed_Proof_Search_and_Deduction_Modulo},
researchr = {https://researchr.org/publication/BuryDDHH15},
cites = {0},
citedby = {0},
pages = {42-58},
booktitle = {20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
volume = {35},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}