New results on rewrite-based satisfiability procedures. (2009)

by A Armando, M P Bonacina, S Ranise, S Schulz
Venue:ACM Transactions on Computational Logic,