%0 Conference Paper %1 conf/iclp/HermenegildoL95 %A Hermenegildo, Manuel V. %A López-García, Pedro %B ICLP %D 1995 %E Sterling, Leon %I MIT Press %K dblp %P 647-661 %T Efficient Term Size Computation for Granularity Control. %U http://dblp.uni-trier.de/db/conf/iclp/iclp95.html#HermenegildoL95 %@ 0-262-69177-9

@inproceedings{conf/iclp/HermenegildoL95, added-at = {2016-04-07T00:00:00.000+0200}, author = {Hermenegildo, Manuel V. and López-García, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/24b1c137b93df114f5f1375f2ac7e5467/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1995}, editor = {Sterling, Leon}, interhash = {1a0f5586640669b73c7f0fe80e8b33e2}, intrahash = {4b1c137b93df114f5f1375f2ac7e5467}, isbn = {0-262-69177-9}, keywords = {dblp}, pages = {647-661}, publisher = {MIT Press}, timestamp = {2016-04-08T11:45:14.000+0200}, title = {Efficient Term Size Computation for Granularity Control.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp95.html#HermenegildoL95}, year = 1995 }