@inproceedings{inc-acc-wlpe06,
author = {E.~Albert and P.~Arenas and G.~Puebla},
booktitle = {16th Workshop on Logic-Based Methods in Programming Environments (WLPE'06)},
month = {August},
npages = {15},
title = {Some {I}ssues on {I}ncremental {A}bstraction-{C}arrying {C}ode},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2006}
}