Nonmonotonic logics basic concepts, results, and techniques (Springer, 1997)