Polovikova, Olga N., and Alexey V. Zenkov. 2019. “Solving Logical Tasks Based on Predicate Models Using Generator of Configurations”. Computer Tools in Education, no. 1 (March), 54-67. https://doi.org/10.32603/2071-2340-2019-1-54-67.