Shen, Y.-D.; Wang, K. FLP Semantics Without Circular Justifications for General Logic Programs. AAAI 2021, 26, 821-827.