@misc{indiciae2a75df4c9c32,
  title = {Safe Formulas in the General Theory of Stable Models},
  author = {Joohyung Lee and Vladimir Lifschitz and Ravi Palla},
  year = {2023},
  url = {https://arxiv.org/abs/2307.09166},
  note = {Source identifier: 2307.09166}
}