Logics with aggregate operators, (2001)

by L Hella, L Libkin, J Nurmonen, L Wong
Venue:Journal of the ACM