@InProceedings{Hol23,
    Author       = "Holden, S.",
    Year         = "2023",
    Title        = "{Connect++: A New Automated Theorem Prover Based on the Connection Calculus}",
    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        = "95-106",
    Comment      = ""
}