Revisiting Immediate Consequences Operator on First-Order Logic Programming | Publicación