@INPROCEEDINGS{MPB-SGL-NS:SMT2022:CDSATnotDisjoint,
AUTHOR = "Maria Paola Bonacina and St{\'e}phane Graham-Lengrand and Natarajan Shankar",
TITLE = "{CDSAT} for nondisjoint theories with shared predicates: arrays with abstract length",
BOOKTITLE = "Proceedings of the 20th International Workshop on Satisfiability Modulo Theories (SMT)",
EDITOR = "Antti Hyv{\"a}rinen and David D{\'e}harbe",
SERIES = "CEUR Proceedings",
VOLUME = 3185,
PAGES = "18--37",
PUBLISHER = "CEUR WS-org",
MONTH = "August",
YEAR = 2022}