Eisinger, N; Ohlbach, HJ
(South African Computer Society (SAICSIT), 1993)
A general theory of deduction systems is presented The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs.
This theory distinguishes four constituents of a ...