Alviano, Faber, 2013. Properties of Answer Set Programming with Convex Generalized Atoms.