Logic Programming and Knowledge Representation
Luis Moniz Pereira
Logic programming and non-monotonic reasoning
