T-Decision by Decomposition.

Maria Paola Bonacina, Mnacho Echenim

Browse the full CADE paper archive.