Deciding Open Definability via Subisomorphisms. - Carlos Areces; Miguel Campercholi; Pablo Ventura (WoLLIC, 2018)

Deciding Quantifier-free Definability in Finite Algebraic Structures. - Miguel Campercholi; Mauricio Tellechea; Pablo Ventura (LSFA, 2019)

The complexity of definability by open first-order formulas. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pablo Ventura (Log. J. IGPL, 2020)

Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures. - Miguel Campercholi; Mauricio Tellechea; Pablo Ventura (CoRR, 2023)