M. K. . Bazarbayevich and M. B. . Kamildjanovich, “Use of Elements of Predicate Algebra in Solving Proof Problems”, CAJOTAS, vol. 2, no. 8, pp. 31–34, Aug. 2021.