Deduction Systems Based on Resolution (1991)

by Norbert Eisinger , Hans Jürgen Ohlbach
Citations:19 - 0 self