Bolibekyan, H. 2021. On some Systems of Minimal Propositional Logic with Loop Detection Mechanisms. Mathematical Problems of Computer Science. 38, (Dec. 2021), 42–43.