Arnaud Mary, Yann Strozecki: Efficient enumeration of solutions produced by closure operations. Discret. Math. Theor. Comput. Sci. 21(3) (2019)