@INCOLLECTION{MPB-ME:PDPAR2006:rds,
AUTHOR = "Maria Paola Bonacina and Mnacho Echenim",
TITLE = "Rewrite-based satisfiability procedures for recursive data structures",
BOOKTITLE = "Proceedings of the Fourth Workshop on Pragmatics of
Decision Procedures in Automated Reasoning (PDPAR),
Third International Joint Conference on Automated Reasoning (IJCAR)
and Fourth Federated Logic Conference (FLoC), August 2006",
EDITOR = "Byron Cook and Roberto Sebastiani",
PUBLISHER = "Elsevier",
SERIES = "Electronic Notes in Theoretical Computer Science",
VOLUME = "174(8)",
PAGES = "55--70",
MONTH = "June",
YEAR = 2007}