Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar: Proofs in conflict-driven theory combination. CPP 2018: 186-200