Stasand Kartashov. BUILDING A TRAINING TECHNIQUE (BASED ON THE ALGORITHM OF VERIFICATION OF THE INCONSISTENCY OF THE SET OF DISJUNCTORS). no. 12, Tomsk State Pedagogical University, 2017, doi:10.23951/1609-624x-2017-12-184-187.