Nonmonotonic Logic by Wiktor Marek, V. Wiktor Marek & Miroslaw Truszczynski