Logics with aggregate operators

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong. Logics with aggregate operators. Journal of the ACM, 48(4):880-907, 2001. [doi]

Abstract

Abstract is missing.