F. M. Ferreira e A. T. Martins, “EXPRESSIVENESS AND DEFINABILITY IN CIRCUMSCRIPTION”, Manuscrito - Rev. Int. Fil., vol. 34, nº 1, p. 233–266, nov. 2015.