@INPROCEEDINGS{HMS2005a,
 AUTHOR        = {Hustadt, U. and Motik, B. and Sattler, U.},
 TITLE         = {A Decomposition Rule for Decision Procedures by Resolution-Based Calculi},
 BOOKTITLE     = {Proceedings of the 11th International Conference on 
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004)},
 EDITOR        = {Baader, F. and Voronkov, A.},
 PUBLISHER     = {Springer},
 CMONTH        = mar,
 CYEAR         = {2005},
 YEAR          = {2005},
 PAGES         = {21--35},
}