deIta, guillermo 2019. Modelling the 3-Coloring of Serial-Parallel Graphs Via Incremental Satisfiability. IEEE Latin America Transactions. 17, 4 (Nov. 2019), 607–614.