@inproceedings{modbenchmarks-lopstr05,
author = {J.~Correas and G.~Puebla and M.~Hermenegildo and F.~Bueno},
booktitle = {15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)},
butopics = {anal},
month = {April},
number = {3901},
pages = {163--178},
paper_presentation_city = {London},
paper_presentation_country = {United Kingdom},
publisher = {Springer-Verlag},
series = {LNCS},
title = {{E}xperiments in {C}ontext-{S}ensitive {A}nalysis of {M}odular {P}rograms},
projects = {ASAP,CUBICO,POAIST,MOBIUS,MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}