Gelfond–Zhang aggregates as propositional formulas | Publicación