@INPROCEEDINGS{MPB-SGL-NS:CPP2018:CDSAText, AUTHOR = "Maria Paola Bonacina and St{\'e}phane Graham-Lengrand and Natarajan Shankar", TITLE = "Proofs in conflict-driven theory combination", BOOKTITLE = "Proceedings of the 7th ACM International Conference on Certified Programs and Proofs (CPP)", EDITOR = "June Andronick and Amy Felty", PAGES = "186--200", PUBLISHER = "ACM Press", MONTH = "January", DOI = "10.1145/3167096", YEAR = 2018}