Computing congruences of finite inverse semigroups. - Luna Elliott; Alex Levine; James D. Mitchell (CoRR, 2024)