@misc{indiciaec8f77742f623,
  title = {Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms},
  author = {Yi-Dong Shen and Jia-Huai You and Li-Yan Yuan},
  year = {2009},
  url = {https://arxiv.org/abs/0904.4727},
  note = {Source identifier: 0904.4727}
}