@inproceedings{ai-with-specs-sas06,
author = {G.~Puebla and E.~Albert and M.~Hermenegildo},
booktitle = {The 13th International Static Analysis Symposium (SAS'06)},
month = {August},
number = {4134},
pages = {107--126},
publisher = {Springer},
series = {LNCS},
title = {{A}bstract {I}nterpretation with {S}pecialized {D}efinitions},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}