2007 | ||
---|---|---|
2 | EE | Francicleber Martins Ferreira, Ana Teresa C. Martins: On Minimal Models. Logic Journal of the IGPL 15(5-6): 503-526 (2007) |
2006 | ||
1 | EE | Francicleber Martins Ferreira, Ana Teresa C. Martins: The Predicate-Minimizing Logic MIN. IBERAMIA-SBIA 2006: 582-591 |
1 | Ana Teresa C. Martins | [1] [2] |