Information derivability analysis in logical information systems | Publicación