Authors: N.Olivetti

Citation: N.olivetti, Tableaux and Sequent Calculus for Minimal Entailment, Journal of automated reasoning , 9(1), 1992, pp. 99-140