Authors: M.Fitting

Citation: M.fitting, Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming, Journal of automated reasoning , 13(2), 1994, pp. 175-188