Carneiro, A., 		Protti, F., & 		Santos, U.
2017 Jul  2.  Deletion Graph Problems Based on Deadlock Resolution. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :