@article{CabalarFandinnoSchaubetal.2019,
  author    = {Pedro Cabalar and Jorge Fandinno and Torsten H. Schaub and Sebastian Schellhorn},
  title     = {Gelfond-Zhang aggregates as propositional formulas},
  journal   = {Artificial intelligence},
  volume    = {274},
  pages     = {26 -- 43},
  doi       = {10.1016/j.artint.2018.10.007},
  year      = {2019},
}