Optimization of Linear Logic Programs Using Counting Methods.

Sergio Greco, Carlo Zaniolo

Browse the full EDBT paper archive.