@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 Third International Joint Conference on
Automated Reasoning (IJCAR)",
EDITOR = "Ulrich Furbach and Natarajan Shankar",
PUBLISHER = "Springer",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 4130,
PAGES = "513--527",
MONTH = "August",
YEAR = 2006}