TY  - RPRT
TI  - New results on rewrite-based satisfiability procedures
AU  - Alessandro Armando
AU  - Maria Paola Bonacina
AU  - Silvio Ranise
AU  - Stephan Schulz
PY  - 2008
DO  - 10.1145/1459010.1459014
UR  - https://arxiv.org/abs/cs/0604054
ID  - cs/0604054
ER  -