A lazy narrowing calculus for declarative constraint programming | Publicación