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