Polovikova ON, Zenkov AV. Solving logical tasks based on predicate models using generator of configurations. CTE [Internet]. 2019Mar.28 [cited 2024Nov.23];(1):54-7. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1574