“V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems”, ММС, no. 4, pp. 3–10, Dec. 2020, doi: 10.34121/1028-9763-2020-4-3-10.