New results on rewrite-based satisfiability procedures (0)

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