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.