KBO Constraint Solving Revisited. - Yasmine Briefs; Hendrik Leidinger; Christoph Weidenbach (FroCoS, 2023)

SCL(EQ): SCL for First-Order Logic with Equality. - Hendrik Leidinger; Christoph Weidenbach (J. Autom. Reason., 2023)

Non-Ground Congruence Closure. - Hendrik Leidinger; Christoph Weidenbach (CoRR, 2024)

Computing Ground Congruence Classes. - Hendrik Leidinger; Christoph Weidenbach (CADE, 2025)