A tableau-based characterisation for default logic (1991)

by C Schwind, V Risch
Venue:In Proceedings of the First European Conference on Symbolic and Quantitative Approaches for Uncertainty