A. Shah, F. Mora, and S. A. . Seshia, “An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes”, AAAI, vol. 38, no. 8, pp. 8099-8107, Mar. 2024.