An algebraic approach to sharing analysis of logic programs | Publicación