deIta, guillermo. “Modelling the 3-Coloring of Serial-Parallel Graphs Via Incremental Satisfiability”. IEEE Latin America Transactions, vol. 17, no. 4, Nov. 2019, pp. 607-14, https://latamt.ieeer9.org/index.php/transactions/article/view/103.