Logic Programs as Compact Denotations.

Patricia M. Hill, Fausto Spoto

Browse the full PADL paper archive.