Tableaux and Sequent Calculus for Minimal Entailment.

Nicola Olivetti Tableaux and Sequent Calculus for Minimal Entailment. 99-139 1992 9 J. Autom. Reasoning 1 db/journals/jar/jar9.html#Olivetti92