Freire, C., & 		Martins, A.
2009 Jul 20.  Modal Logics and Descriptive Complexity. Proceedings of the National Meeting on Artificial and Computational Intelligence (ENIAC). [Online] :