Refinements of Theory Model Elimination and a Variant without Contrapositives (1994)

by Peter Baumgartner
Venue:University of Koblenz, Institute for Computer Science
Citations:8 - 6 self