Exprressiveness and definability in circumscription - Ferreira, F.M-Martins, A.T