Процай, Н. Т. Розв’язання задач теорії множин на основі алгебри предикатів та предикатних операцій. TAPR 2015, 2, 4-7.