Couto, Marcelo, Souza, Cid, E Rezende, Pedro. " An Exact Algorithm for an Art Gallery Problem" Anais do Concurso de Teses e Dissertações (CTD) [Online], (19 julho 2011)