Constructing Small Monadic Decompositions in Presburger Arithmetic.

Moses Ganardi, Marin Ricros

Browse the full LICS paper archive.