TPTP Reference: RW+23

TPTP Reference: `RW+23`

@InProceedings{RW+23,
    Author       = "Rawson, M. and Wernhard, C. and Zombori, Z. and Bible, W.",
    Year         = "2023",
    Title        = "{Lemmas: Generation, Selection, Application}",
    Editor       = "Ramanayake, D. and Urban, J.",
    BookTitle    = "{Proceedings of the 32nd International Conference on Automated Reasoning with
                    Analytic Tableaux and Related Methods}",
    Place        = "Prague, Czech Republic",
    Series       = "Lecture Notes in Computer Science",
    Number       = "14278",
    Pages        = "153-174",
    Comment      = "TPTPRef"
}