Systems of implications obtained using the Carve decomposition of a formal context | Publicación