@misc{indiciae9bd3e3ec8738,
  title = {Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures},
  author = {Miguel Campercholi and Mauricio Tellechea and Pablo Ventura},
  year = {2023},
  url = {https://arxiv.org/abs/2303.17017},
  note = {Source identifier: 2303.17017}
}