(1)
Gil, J. Devir-Pessoa. CS 2018, 47-61.