@InProceedings{MMP24,
    Author       = "Mesnard, F. and Marianne, T. and Payet, E.",
    Year         = "2024",
    Title        = "{ATP for Prolog Verification}",
    Editor       = "Bj{\o}rner, N. and Heule, M. and Voronkov, A.",
    BookTitle    = "{Proceedings of the Short Papers of the 25th International Conference on
                    Logic for Programming, Artificial Intelligence, and Reasoning}",
    Place        = "Balaclava, Mauritius",
    Series       = "Kalpa Publications in Computing",
    Number       = "18",
    Pages        = "137-151",
    Publisher    = "EasyChair Publications",
    Comment      = "TPTPRef"
}