Flávio Cruz, Ricardo Rocha. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. In Enrico Pontelli, Tran Cao Son, editors, Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Volume 9131 of Lecture Notes in Computer Science, pages 34-49, Springer, 2015. [doi]
Abstract is missing.