Solving systems of equations on antichains for the computation of the ninth Dedekind Number - Patrick De Causmaecker; Lennart Van Hirtum (2024)