TURBAL, Y.; BABYCH, S. INFORMATION TECHNOLOGY FOR THE SCHEDULE GENERATION BASED ON THE ALGEBRA OF ADDITIVE-DISJUNCTIVE FORMS AND THE MODIFIED METHOD OF PERMANENT DECOMPOSITION. CSIT 2022, 106-113.