Ordered Completion for Logic Programs with Aggregates

Asuncion et al. "Ordered Completion for Logic Programs with Aggregates." AAAI Conference on Artificial Intelligence, 2012. doi:10.1609/AAAI.V26I1.8216

[Asuncion et al. "Ordered Completion for Logic Programs with Aggregates." AAAI Conference on Artificial Intelligence, 2012.](https://mlanthology.org/aaai/2012/asuncion2012aaai-ordered/) doi:10.1609/AAAI.V26I1.8216

@inproceedings{asuncion2012aaai-ordered,
  title     = {{Ordered Completion for Logic Programs with Aggregates}},
  author    = {Asuncion, Vernon and Zhang, Yan and Zhou, Yi},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2012},
  pages     = {691-697},
  doi       = {10.1609/AAAI.V26I1.8216},
  url       = {https://mlanthology.org/aaai/2012/asuncion2012aaai-ordered/}
}