Ferreira, Francicleber, and Ana Teresa Martins. " Minimal Models and Expressiveness Hierarchy." Anais do XXI Concurso de Teses e Dissertações, Belém/PA, 2008. SBC, 2008, pp.89-96.