On contexts and tractability in default logic (1992)

by D W Etherington, J M Crawford
Venue:In preparation