TY  - GEN
AU  - Ferreira,F.M-Martins,A.T
TI  - Exprressiveness and definability in circumscription
ER  -