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