Politeness and Stable Infiniteness: Stronger Together.

Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Browse the full CADE paper archive.