@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 Seventh ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)",
EDITOR = "June Andronick and Amy Felty",
PUBLISHER = "ACM Press",
PAGES = "186--200",
MONTH = "January",
YEAR = 2018}