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

@InProceedings{BSW23,
    Author       = "Bromberger, M. and Schwarz, S. and Weidenbach, C.",
    Year         = "2023",
    Title        = "{Exploring Partial Models with SCL}",
    Editor       = "Piskac, R. and Voronkov, A.",
    BookTitle    = "{Proceedings of the 24th International Conference on Logic for Programming,
                    Artificial Intelligence, and Reasoning}",
    Place        = "Manizales, Colombia",
    Series       = "EPiC Series in Computing",
    Number       = "94",
    Pages        = "48-72",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}