POLOVIKOVA, O. N.; ZENKOV, A. V. Solving logical tasks based on predicate models using generator of configurations. Computer Tools in Education, n. 1, p. 54-67, 28 Mar. 2019.