@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}