Narrowing approximations as an optimization for equational logic programs | Publicación