N.: A sequent calculus for skeptical default logic (1997)

by P A Bonatti, Olivetti
Venue:In: Proceedings of the TABLEAUX ’97