TPTP Reference: BSW23-arXiv

TPTP Reference: `BSW23-arXiv`

@Unpublished{BSW23-arXiv,
    Author       = "Bromberger, M. and Schwarz, S. and Weidenbach, C.",
    Year         = "2023",
    Title        = "{SCL(FOL) Revisited}",
    Note         = "{10.48550/arXiv.2302.05954}",
    Comment      = ""
}