Modelling 3-Coloring of Polygonal Trees via Incremental Satisfiability. - Cristina López-Ramírez; Guillermo De Ita Luna; Alfredo Neri (MCPR, 2018)