O. N. Polovikova and A. V. Zenkov, “Solving logical tasks based on predicate models using generator of configurations”, CTE, no. 1, pp. 54-67, Mar. 2019.