Bridges From Classical To Nonmonotonic Logic door David Makinson