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