@InProceedings{BoGhiNiRaZu-IJCAR-06,
   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 2006)},
   editor = {Ulrich Furbach and Natarajan Shankar},
     year = {2006},
   series = {Lecture Notes in Computer Science},
   volume = {4130},
    pages = {513--527},
  address = {Seattle (WA, USA)},
publisher = {Springer},
}