@InProceedings{Ott23,
    Author       = "Otten, J.",
    Year         = "2023",
    Title        = "{20 Years of leanCoP - An Overview of the Provers}",
    Editor       = "Otten, J. and Bibel, W.",
    BookTitle    = "{Proceedings of the 1st International Workshop on Automated Reasoning with
                    Connection Calculi}",
    Place        = "Prague, Czech Republic",
    Series       = "CEUR Workshop Proceedings",
    Number       = "3613",
    Pages        = "4-22",
    Comment      = ""
}