FLP Semantics Without Circular Justifications for General Logic Programs