Polovikova ON, Zenkov AV. Solving logical tasks based on predicate models using generator of configurations. Comput. Tools Educ. [Internet]. 2019 Mar. 28 [cited 2026 Oct. 30];(1):54-67. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1574