@article{CoutelierRathRawsonBiereKovacs-FMSD25,
  author       = {Robin Coutelier and
                  Jakob Rath and
                  Michael Rawson and
                  Armin Biere and
                  Laura Kov{\'{a}}cs},
  title        = {{SAT} solving for variants of first-order subsumption},
  journal      = {Formal Methods System Design},
  volume       = {67},
  number       = {1},
  pages        = {27--70},
  year         = {2025},
  doi          = {10.1007/S10703-024-00454-1},
}