Jarmużek, T. David Makinson, "Bridges from Classical to Nonmonotonic Logic", King’s College Publications, London, 2005. LLP 2007, 16, 259-262.