Haykazyan, L. A. . The Degree of Unsolvability of the Completion Semantics for General Logic Programs. MPCS 2021, 36, 7-12.