Model Elimination without Contrapositives (1994)

by Peter Baumgartner , Ulrich Furbach
Citations:16 - 6 self