@INPROCEEDINGS{MPB:PxTP-CADE2021:CDSATproofs,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Proof generation in CDSAT",
BOOKTITLE = "Proceedings of the 7th Workshop on Proof eXchange in Theorem Proving (PxTP)",
EDITOR = "Chantal Keller and Mathias Fleury",
SERIES = "Electronic Proceedings in Theoretical Computer Science",
VOLUME = 366,
PAGES = "1--4",
PUBLISHER = "Open Publishing Association",
MONTH = "July",
DOI = "10.4204/EPTCS.336.1",
YEAR = 2021}