DMCA

A Sequent Calculus for Skeptical Default Logic (1997)

Cached

Download Links

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
Citations:8 - 1 self