Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Towards a Type Discipline for Answer Set Programming. TYPES 2008: 117-135