SAT-Based Subsumption Resolution. - Robin Coutelier; Laura Kovács; Michael Rawson 001; Jakob Rath (CADE, 2023)

Lazy Reimplication in Chronological Backtracking. - Robin Coutelier; Mathias Fleury; Laura Kovács (SAT, 2024)

SAT Solving for Variants of First-Order Subsumption. - Robin Coutelier; Jakob Rath; Michael Rawson 001; Armin Biere; Laura Kovács (CoRR, 2024)

RobCoutel/NapSAT. - Robin Coutelier (DROPS Artifacts, 2024)

Term Ordering Diagrams. - Márton Hajdú; Robin Coutelier; Laura Kovács; Andrei Voronkov (CADE, 2025)

The Vampire Diary. - Filip Bártek; Ahmed Bhayat; Robin Coutelier; Márton Hajdú; Matthias Hetzenberger; Petra Hozzová; Laura Kovács; Jakob Rath; Michael Rawson 001; Giles Reger; Martin Suda 001; Johannes Schoisswohl; et al. (CAV (3), 2025)