Ordered sequencing of Refactorings based on Preconditions and Postconditions. - Barón Pérez, Nelida; Santaolaya Salgado, René; Valenzuela Robles, Blanca Dina; Fragoso Diaz, Olivia; Rojas Pérez, Juan Carlos; González Serna, Juan Gabriel; Mexicano Santoyo, Adriana (International Journal of Combinatorial Optimization Problems & Informatics, 2026)