Nonmonotonic logic : - Marek, Wiktor (Artificial intelligence (Berlin, Germany), 1993)