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

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