A Sequent Calculus for Skeptical Default Logic (1997)

by P. A. Bonatti, N. Olivetti
Venue:Proc. of the Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, Springer-Verlag LNCS 1227