Polovikova O. N., Zenkov A. V. Solving logical tasks based on predicate models using generator of configurations // Computer Tools in Education. St. Petersburg, Russia, 2019. № 1. Pp. 54-67.