The Predicate-Minimizing Logic MIN. - Francicleber Martins Ferreira; Ana Teresa C. Martins (IBERAMIA-SBIA, 2006)

On Minimal Models. - Francicleber Martins Ferreira; Ana Teresa C. Martins (Log. J. IGPL, 2007)

Recursive Definitions and Fixed-Points. - Francicleber Martins Ferreira; Ana Teresa C. Martins (LSFA, 2008)

Hybrid Logics and NP Graph Properties. - Francicleber Martins Ferreira; Cibele Matos Freire; Mario R. F. Benevides; Luis Menasché Schechter; Ana Teresa C. Martins (WoLLIC, 2011)

Recursive definitions and fixed-points on well-founded structures. - Francicleber Martins Ferreira; Ana Teresa C. Martins (Theor. Comput. Sci., 2011)

Expressible preferential logics. - Francicleber Martins Ferreira; Ana Teresa C. Martins (J. Log. Comput., 2012)

Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado. - Francicleber Martins Ferreira (2012)

Polynomial hierarchy graph properties in hybrid logic. - Francicleber Martins Ferreira; Cibele Matos Freire; Mario R. F. Benevides; Luis Menasché Schechter; Ana Teresa C. Martins (J. Comput. Syst. Sci., 2014)

The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. - Márcia Farias; Ana Teresa C. Martins; Francicleber Martins Ferreira (LSFA, 2016)

Synthesis of a DNF Formula From a Sample of Strings. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (BRACIS, 2018)

Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. - Luis Henrique Bustamante; Ana Teresa C. Martins; Francicleber Martins Ferreira (WoLLIC, 2018)

On Finding a First-Order Sentence Consistent with a Sample of Strings. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (GandALF, 2018)

On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (LSFA, 2018)

Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (Theor. Comput. Sci., 2020)

Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (Theor. Comput. Sci., 2020)