Ferreira, F. M.; Martins, A. T. EXPRESSIVENESS AND DEFINABILITY IN CIRCUMSCRIPTION. Manuscrito - Rev. Int. Fil. 2015, 34, 233-266.