Bridges From Classical To Nonmonotonic Logic by David Makinson