@inproceedings{anssPROLE09,
author = {G.~Aranda and S.~Nieva and F.~S\'{a}enz-P\'{e}rez and J.~S\'{a}nchez},
title = {Implementing a Fixed Point Semantics for a Constraint Deductive Database},
note={PROLE'09},
projects = {MERIT,PROMESAS,STAMP},
butype = {},
year = {2009}
}