@misc{indiciae882345c8c3b9,
  title = {Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers},
  author = {Joohyung Lee and Yunsong Meng},
  year = {2013},
  url = {https://arxiv.org/abs/1301.1393},
  note = {Source identifier: 1301.1393}
}