FLP Semantics Without Circular Justifications for General Logic Programs

Open in new window