On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal (2005)

Cached

Download Links

by Alessandro Armando , Maria Paola Bonacina , Silvio Ranise , Stephan Schulz
Citations:30 - 19 self