Polovikova, O. N. and Zenkov, A. V. (2019) “Solving logical tasks based on predicate models using generator of configurations”, Computer Tools in Education, (1), pp. 54-67. doi: 10.32603/2071-2340-2019-1-54-67.