@inproceedings{ai-safety-reduced-eaai05,
author = {G.~Puebla and E.~Albert and P.~Arenas and M.~Hermenegildo},
booktitle = {1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006)},
month = {March},
npages = {15},
title = {On {A}bstraction-{C}arrying {C}ode and {C}ertificate-{S}ize {R}eduction},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2006}
}