deIta, guillermo. Modelling the 3-Coloring of Serial-Parallel Graphs Via Incremental Satisfiability. IEEE LAT AM T 2019, 17, 607-614.