Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
Logics with Aggregate Operators
LICS, 1999.
@inproceedings{LICS-1999-HellaLNW, author = "Lauri Hella and Leonid Libkin and Juha Nurmonen and Limsoon Wong", booktitle = "{Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1999.782583", isbn = "0-7695-0158-3", pages = "35--44", publisher = "{IEEE Computer Society}", title = "{Logics with Aggregate Operators}", year = 1999, }