“V.M. Glushkov and Automated Theorem Proving in Ukraine: Evidence Algorithm Evidence Algorithm and SAD Systems”. Mathematical Machines and Systems, no. 4, Dec. 2020, pp. 3–10, https://doi.org/10.34121/1028-9763-2020-4-3-10.