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