Shah, A.; Mora, F.; Seshia, S. A. . An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. AAAI 2024, 38, 8099-8107.