Handbook of defeasible reasoning and uncertainty management systems - Gabbay, Dov M., 1945-; Smets, Philippe; Dubois, Didier; Prade, Henri (Kluwer Academic Publishers, 1998)