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]
@inproceedings{GrecoZ92,
title = {Optimization of Linear Logic Programs Using Counting Methods},
author = {Sergio Greco and Carlo Zaniolo},
year = {1992},
tags = {optimization, logic programming, logic, program optimization},
researchr = {https://researchr.org/publication/GrecoZ92},
cites = {0},
citedby = {0},
pages = {72-87},
booktitle = {Advances in Database Technology - EDBT 92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings},
editor = {Alain Pirotte and Claude Delobel and Georg Gottlob},
volume = {580},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55270-7},
}