@misc{indiciae22c987368c6b,
  title = {An efficient solver for ASP(Q)},
  author = {Wolfgang Faber and Giuseppe Mazzotta and Francesco Ricca},
  year = {2023},
  url = {https://arxiv.org/abs/2305.10021},
  note = {Source identifier: 2305.10021}
}