A. Carneiro, F. Protti, and U. Santos. "Deletion Graph Problems Based on Deadlock Resolution", in Anais do II Encontro de Teoria da Computação, São Paulo, 2017, doi: https://doi.org/10.5753/etc.2017.3178.