Narrowing as an incremental constraint satisfaction algorithm | Publicación