Sales, C., & 		de Freitas, R.
2017 Jul  2.  Introduction and Organizing Committee. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :