@misc{indiciae561ab3ad383b,
  title = {Well-founded and Stable Semantics of Logic Programs with Aggregates},
  author = {Nikolay Pelov and Marc Denecker and Maurice Bruynooghe},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0509024},
  note = {Source identifier: cs/0509024}
}