Nonmonotonic Logics; Context-Dependent Reasoning (1993)

by W Marek, M Truszczyński