@INPROCEEDINGS{MPB-ME:CADE2007:dpByStages, AUTHOR = "Maria Paola Bonacina and Mnacho Echenim", TITLE = "{$\mathcal{T}$}-decision by decomposition", BOOKTITLE = "Proceedings of the 21st International Conference on Automated Deduction (CADE)", EDITOR = "Frank Pfenning", SERIES = "Lecture Notes in Artificial Intelligence", VOLUME = 4603, PAGES = "199--214", PUBLISHER = "Springer", MONTH = "July", DOI = "10.1007/978-3-540-73595-3_14", YEAR = 2007}