@article{ANSS13b,
title = "An extended constraint deductive database: Theory and implementation ",
journal = "The Journal of Logic and Algebraic Programming ",
volume = "",
number = "0",
pages = " - ",
year = "2013",
note = "",
issn = "1567-8326",
doi = "http://dx.doi.org/10.1016/j.jlap.2013.07.002",
url = "http://www.sciencedirect.com/science/article/pii/S1567832613000325",
author = "G. Aranda-López and S. Nieva and F. Sáenz-Pérez and J. Sánchez-Hernández",
keywords = "<!-- Tag Not Handled --><keyword id="kw0010">Deductive databases",
keywords = "<!-- Tag Not Handled --><keyword id="kw0020">Constraints",
keywords = "<!-- Tag Not Handled --><keyword id="kw0030">Hereditary Harrop formulas",
keywords = "<!-- Tag Not Handled --><keyword id="kw0040">Fixpoint semantics "
}