New results on rewrite-based satisfiability procedures (0)

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