@misc{indiciae623cff308913,
  title = {Model-checking positive equality free logic on a fixed structure (direttissima)},
  author = {Manuel Bodirsky and Marcin Kozik and Florent Madelaine and Barnaby Martin and Michal Wrona},
  year = {2024},
  url = {https://arxiv.org/abs/2408.13840},
  note = {Source identifier: 2408.13840}
}