Exprressiveness and definability in circumscription

Ferreira, F.M-Martins, A.T

Exprressiveness and definability in circumscription