Polovikova, O. N.; Zenkov, A. V. Solving Logical Tasks Based on Predicate Models Using Generator of Configurations. CTE 2019, 54-67.