Couto, M., 		Souza, C., & 		Rezende, P.
(2011).
 An Exact Algorithm for an Art Gallery Problem.
In <em>Anais do XXIV Concurso de Teses e Dissertações</em>, (pp. 22-27). Porto Alegre: SBC.