@misc{indiciae4475b0837b33,
  title = {New results on rewrite-based satisfiability procedures},
  author = {Alessandro Armando and Maria Paola Bonacina and Silvio Ranise and Stephan Schulz},
  year = {2008},
  doi = {10.1145/1459010.1459014},
  url = {https://arxiv.org/abs/cs/0604054},
  note = {Source identifier: cs/0604054}
}