@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}