Polovikova, O. N., and A. V. Zenkov. “Solving Logical Tasks Based on Predicate Models Using Generator of Configurations”. Computer Tools in Education, no. 1, Mar. 2019, pp. 54-67, doi:10.32603/2071-2340-2019-1-54-67.