%0 Conference Paper %1 conf/padl/NavasBH06 %A Navas, Jorge A. %A Bueno, Francisco %A Hermenegildo, Manuel V. %B PADL %D 2006 %E Hentenryck, Pascal Van %I Springer %K dblp %P 183-198 %T Efficient Top-Down Set-Sharing Analysis Using Cliques. %U http://dblp.uni-trier.de/db/conf/padl/padl2006.html#NavasBH06 %V 3819 %@ 3-540-30947-0

@inproceedings{conf/padl/NavasBH06, added-at = {2017-05-17T00:00:00.000+0200}, author = {Navas, Jorge A. and Bueno, Francisco and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2b2be7473fb97a8c345444b40b665e778/dblp}, booktitle = {PADL}, crossref = {conf/padl/2006}, editor = {Hentenryck, Pascal Van}, ee = {https://doi.org/10.1007/11603023_13}, interhash = {dc5333c4e016dcffcd7e4df78359ade8}, intrahash = {b2be7473fb97a8c345444b40b665e778}, isbn = {3-540-30947-0}, keywords = {dblp}, pages = {183-198}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:45:11.000+0200}, title = {Efficient Top-Down Set-Sharing Analysis Using Cliques.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2006.html#NavasBH06}, volume = 3819, year = 2006 }