@inproceedings{ai-safety-reduced-iclp06,
author = {E.~Albert and P.~Arenas and G.~Puebla and M.~Hermenegildo},
booktitle = {22nd International Conference on Logic Programming (ICLP 2006)},
month = {August},
number = {4079},
pages = {163--178},
publisher = {Springer-Verlag},
series = {LNCS},
title = {{R}educed {C}ertificates for {A}bstraction-{C}arrying {C}ode},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}