@InProceedings{GS20,
    Author       = "Gleiss, B. and Suda, M.",
    Year         = "2020",
    Title        = "{Layered Clause Selection for Theory Reasoning}",
    Editor       = "Peltier, N. and Sofronie-Stokkermans, V.",
    BookTitle    = "{Proceedings of the 10th International Joint Conference on
                    Automated Reasoning}",
    Place        = "Online",
    Series       = "Lecture Notes in Computer Science",
    Number       = "12166",
    Pages        = "402-409",
    Comment      = ""
}

@InProceedings{GS20-PAAR,
    Author       = "Gleiss, B. and Suda, M.",
    Year         = "2020",
    Title        = "{Layered Clause Selection for Saturation-based Theorem Proving}",
    Editor       = "Fontaine, P. and R{\"u}mmer, P. and Tourret, S.",
    BookTitle    = "{Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning}",
    Place        = "Online",
    Series       = "CEUR Workshop Proceedings",
    Number       = "2752",
    Pages        = "34-52",
    Comment      = ""
}