Sergio Greco, Carlo Zaniolo. Optimization of Linear Logic Programs Using Counting Methods. In Alain Pirotte, Claude Delobel, Georg Gottlob, editors, Advances in Database Technology - EDBT 92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings. Volume 580 of Lecture Notes in Computer Science, pages 72-87, Springer, 1992. [doi]
Abstract is missing.