TY  - RPRT
TI  - Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures
AU  - Miguel Campercholi
AU  - Mauricio Tellechea
AU  - Pablo Ventura
PY  - 2023
UR  - https://arxiv.org/abs/2303.17017
ID  - 2303.17017
ER  -