DMCA

New results on rewrite-based satisfiability procedures

by Allessandro Armando , Maria Paola Bonacina , Silvio Ranise , Stephan Schulz
Citations:40 - 10 self