Towards a Type Discipline for Answer Set Programming

Cached

Download Links

by Camillo Fiorentini , Alberto Momigliano , Mario Ornaghi