Campelo, Claudio. " Towards a Logic-based Framework for Representing and Reasoning about Geographic Phenomena." Anais do V Workshop de Computação Aplicada a Gestão do Meio Ambiente e Recursos Naturais, Brasília, 2014. SBC, 2014, pp.87-95.