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.