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