%0 Conference Paper %1 conf/edbt/GrecoZ92 %A Greco, Sergio %A Zaniolo, Carlo %B EDBT %D 1992 %E Pirotte, Alain %E Delobel, Claude %E Gottlob, Georg %I Springer %K dblp %P 72-87 %T Optimization of Linear Logic Programs Using Counting Methods. %U http://dblp.uni-trier.de/db/conf/edbt/edbt92.html#GrecoZ92 %V 580 %@ 0-387-55270-7

@inproceedings{conf/edbt/GrecoZ92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Greco, Sergio and Zaniolo, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/2e9f6c51a38208273a9e221dbd2d75d6e/dblp}, booktitle = {EDBT}, cdrom = {EDBT92/P072.pdf}, cite = {conf/dood/Zaniolo89}, crossref = {conf/edbt/92}, editor = {Pirotte, Alain and Delobel, Claude and Gottlob, Georg}, ee = {https://doi.org/10.1007/BFb0032424}, interhash = {c61739806b54d9b454d879d137a0e129}, intrahash = {e9f6c51a38208273a9e221dbd2d75d6e}, isbn = {0-387-55270-7}, keywords = {dblp}, pages = {72-87}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:13:12.000+0200}, title = {Optimization of Linear Logic Programs Using Counting Methods.}, url = {http://dblp.uni-trier.de/db/conf/edbt/edbt92.html#GrecoZ92}, volume = 580, year = 1992 }