@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 4th Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR), August 2006",
EDITOR = "Byron Cook and Roberto Sebastiani",
SERIES = "Electronic Notes in Theoretical Computer Science",
VOLUME = "174(8)",
PAGES = "55--70",
PUBLISHER = "Elsevier",
MONTH = "June",
DOI = "10.1016/j.entcs.2006.11.039",
YEAR = 2007}