Nonmonotonic Logics (1993)

by W Marek, M Truszczyński