Nonmonotonic logic - Marek, Wictor V.; Truszczynski, Miroslaw (Springer-Verlag, 1993)