Deduction systems based on resolution (1993)

by N Eisinger, H J Ohlbach
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming