@INCOLLECTION{MPB-ME:STRATEGIES2006:gendp,
AUTHOR = "Maria Paola Bonacina and Mnacho Echenim",
TITLE = "Rewrite-based decision procedures",
BOOKTITLE = "Proceedings of the 6th Workshop on Strategies in Automated Deduction (STRATEGIES) August 2006",
EDITOR = "Myla Archer and Thierry {Boy de la Tour} and Cesar Mu{\~n}oz",
SERIES = "Electronic Notes in Theoretical Computer Science",
VOLUME = "174(11)",
PAGES = "27--45",
PUBLISHER = "Elsevier",
MONTH = "July",
DOI = "10.1016/j.entcs.2006.11.042",
YEAR = 2007}