TY - RPRT TI - Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements AU - Lhouari Nourine AU - Simon Vilmin PY - 2023 UR - https://arxiv.org/abs/2202.05536 ID - 2202.05536 ER -