L. A. . Haykazyan, “The Degree of Unsolvability of the Completion Semantics for General Logic Programs”, MPCS, vol. 36, pp. 7–12, Dec. 2021.