The following publications are possibly variants of this publication:
- Politeness for the Theory of Algebraic DatatypesYing Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett. cade 2020: 238-255 [doi]
- Politeness for the Theory of Algebraic Datatypes (Extended Abstract)Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett. IJCAI 2021: 4829-4833 [doi]
- Politeness and Combination Methods for Theories with Bridging FunctionsPaula Chocron, Pascal Fontaine, Christophe Ringeissen. JAR, 64(1):97-134, 2020. [doi]