On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities.

Flvio Cruz, Ricardo Rocha

Browse the full PADL paper archive.