Y.-D. Shen and K. Wang, “FLP Semantics Without Circular Justifications for General Logic Programs”, AAAI, vol. 26, no. 1, pp. 821–827, Sep. 2021.