@InProceedings{ROH23,
    Author       = "Rømming, F. and Otten, J. and Holden, S.",
    Year         = "2023",
    Title        = "{Connections: Markov Decision Processes for Classical, Intuitionistic, and
                    Modal Connection Calculi}",
    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        = "107-118",
    Comment      = ""
}