Semantics of Logic Programs and Non-monotonic Reasoning

Authors

José Júlio Alferes, D. Pearce,