New results on rewrite-based satisfiability procedures (0)

by Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
Venue:ACM Transactions on Computational Logic