Politeness for the Theory of Algebraic Datatypes

Ying Sheng, Yoni Zohar, Christophe Ringeissen +3

Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its latest stable versi…