Implementing Superposition in iProver (System Description). - André Duarte 002; Konstantin Korovin (IJCAR (2), 2020)

AC Simplifications and Closure Redundancies in the Superposition Calculus. - André Duarte 002; Konstantin Korovin (TABLEAUX, 2021)

Ground Joinability and Connectedness in the Superposition Calculus. - André Duarte 002; Konstantin Korovin (IJCAR, 2022)