2020. V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems. Mathematical Machines and Systems. 4 (Dec. 2020), 3–10. DOI:https://doi.org/10.34121/1028-9763-2020-4-3-10.