@INPROCEEDINGS{MPB-SG-EN-SR-DZ:IJCAR2006:csp,
AUTHOR = "Maria Paola Bonacina and Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli",
TITLE = "Decidability and undecidability results for {N}elson-{O}ppen and rewrite-based decision procedures",
BOOKTITLE = "Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR)",
EDITOR = "Ulrich Furbach and Natarajan Shankar",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 4130,
PAGES = "513--527",
PUBLISHER = "Springer",
MONTH = "August",
DOI = "10.1007/11814771_42",
YEAR = 2006}