TY - RPRT TI - A Flexible Approach for the Enumeration of Down-Sets and its Application on Dedekind Numbers AU - Frank a Campo PY - 2022 UR - https://arxiv.org/abs/2206.10293 ID - 2206.10293 ER -