M. Couto, C. Souza, and P. Rezende.
" An Exact Algorithm for an Art Gallery Problem", in <em>Anais do XXIV Concurso de Teses e Dissertações</em>, Natal/RN, 2011, pp. 22-27.