C. Freire and A. Martins.
" Modal Logics and Descriptive Complexity", in <em>Proceedings of the 7th National Meeting on Artificial Intelligence</em>, Bento Gonçalves/RS, 2009, pp. 472-481.