Return to Article Details David Makinson, "Bridges from Classical to Nonmonotonic Logic", King’s College Publications, London, 2005 Download Download PDF