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