guillermo deIta, “Modelling the 3-Coloring of Serial-Parallel Graphs Via Incremental Satisfiability”, IEEE LAT AM T, vol. 17, no. 4, pp. 607–614, Nov. 2019.