Logic Programming and Nonmonotonic ReasoningMichael Gelfond, Nicole Leone, Gerald Pfeifer · First published 2003Open the Tome