Data Structures for Finite Downsets of Natural Vectors: Theory and Practice. - Michaël Cadilhac; Vanessa Flügel; Guillermo A. Pérez 001; Shrisha Rao 002 (CoRR, 2025)