Alberto Bertoni;Giancarlo Mauri;Pierangelo Miglioli
-;-;-
Towards a Type Discipline for Answer Set Programming
Types for Proofs and Programs