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