Manukian, S.N. 2021. On Transitive Closures of Two-dimensional Strongly Positive Arithmetical Sets. Mathematical Problems of Computer Science. 45, (Dec. 2021), 67–76.