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