@misc{indiciae953912117cbb,
  title = {An Encoding for CLP Problems in SMT-LIB},
  author = {Daneshvar Amrollahi and Hossein Hojjat and Philipp Rümmer},
  year = {2024},
  doi = {10.4204/eptcs.402.12},
  url = {https://arxiv.org/abs/2404.14924},
  note = {Source identifier: 2404.14924}
}