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