Flavio D'Alessandro Benedetto Intrigila Stefano Varricchio On some counting problems for semi-linear sets http://arxiv.org/abs/0907.3005 2009 CoRR abs/0907.3005 db/journals/corr/corr0907.html#abs-0907-3005 informal publication