@misc{indiciaec6ac00f56c15,
  title = {Integrating deduction and model finding in a language independent setting},
  author = {Carlos Gustavo Lopez Pombo and Agustín Eloy Martinez Suñé},
  year = {2022},
  url = {https://arxiv.org/abs/2206.07180},
  note = {Source identifier: 2206.07180}
}