New results on rewrite-based satisfiability procedures (2009)

by A Armando, M P Bonacina, S Ranise, S Schulz
Venue:ACM Trans. Comput. Logic