Nonmonotonic logic context-dependent reasoning - Marek, Victor W. 1943-; Truszczyński, Mirosław (Springer-Verl., 1993)