@inproceedings{inc-acc-lpar06,
author = {E.~Albert and P.~Arenas and G.~Puebla},
booktitle = {13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06)},
month = {November},
npages = {15},
number = {4246},
pages = {377--391},
publisher = {Springer-Verlag},
series = {LNCS},
title = {An {I}ncremental {A}pproach to {A}bstraction-{C}arrying {C}ode},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}