@Article{CR+24,
    Author       = "Coutelier, R. and Rath, J. and Rawson, M. and Kovács, L.",
    Year         = "2024",
    Title        = "{SAT Solving for Variants of First-order Subsumption}",
    Journal      = "Formal Methods in System Design ",
    Volume       = "67",
    Pages        = "27-70",
    DOI          = "{10.1007/s10703-024-00454-1}",
    Comment      = ""
}