@INPROCEEDINGS{MPB:FroCoS2019:cdsat,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Conflict-driven reasoning in unions of theories",
BOOKTITLE = "Proceedings of the 12th International Symposium on Frontiers of Combining Systems (FroCoS)",
EDITOR = "Andreas Herzig and Andrei Popescu",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 11715,
PAGES = "xi--xiii",
MONTH = "September",
PUBLISHER = "Springer",
NOTE = "Abstract of invited keynote speech",
YEAR = 2019}