H. Bolibekyan, “On some Systems of Minimal Propositional Logic with Loop Detection Mechanisms”, MPCS, vol. 38, pp. 42–43, Dec. 2021.