Dis/Equality Graphs. - George Zakhour; Pascal Weisenburger; Jahrim Gabriele Cesario; Guido Salvaneschi (Proc. ACM Program. Lang., 2025)