@INCOLLECTION{MPB-ME:STRATEGIES2006:gendp,
AUTHOR = "Maria Paola Bonacina and Mnacho Echenim",
TITLE = "Rewrite-based decision procedures",
BOOKTITLE = "Proceedings of the Sixth Workshop on Strategies in
Automated Deduction (STRATEGIES),
Third International Joint Conference on Automated Reasoning (IJCAR)
and Fourth Federated Logic Conference (FLoC), August 2006",
EDITOR = {Myla Archer and Thierry Boy de la Tour and Cesar Mu{\~n}oz},
PUBLISHER = "Elsevier",
SERIES = "Electronic Notes in Theoretical Computer Science",
VOLUME = "174(11)",
PAGES = "27--45",
MONTH = "July",
YEAR = 2007}