@inproceedings{ai-safety-reduced-prole06,
author = {E.~Albert and P.~Arenas and G.~Puebla and M.~Hermenegildo},
booktitle = {VI Jornadas Programaci\'{o}n y Lenguajes (PROLE'06)},
editor = {P. Lucio and F. Orejas},
month = {October},
note = {To appear},
npages = {10},
publisher = {CINME},
title = {Generation of {R}educed {C}ertificates in {A}bstraction-{C}arrying {C}ode},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}