TY  - RPRT
TI  - Politeness for the Theory of Algebraic Datatypes
AU  - Ying Sheng
AU  - Yoni Zohar
AU  - Christophe Ringeissen
AU  - Jane Lange
AU  - Pascal Fontaine
AU  - Clark Barrett
PY  - 2020
UR  - https://arxiv.org/abs/2004.04854
ID  - 2004.04854
ER  -