TY  - RPRT
TI  - An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
AU  - Amar Shah
AU  - Federico Mora
AU  - Sanjit A. Seshia
PY  - 2023
UR  - https://arxiv.org/abs/2310.12234
ID  - 2310.12234
ER  -