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