@misc{misc86f04ee7,
title   = {Algorithms for deciding counting quantifiers over unary predicates},
author = {Finger, Marcelo and De Bona, Glauber},
year = {2017},
publisher = {AAAI Publications},
booktitle   = {AAAI Conference on Artificial Intelligence}
}