Logic Programming and Non-Monotonic Reasoning door L.M. Pereira