@InProceedings{DD+13,
    Author       = "Delahaye, D. and Doligez, D. and Gibert, F. and Halmagrand, P. and Hermant, O.",
    Year         = "2013",
    Title        = "{Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo}",
    Editor       = "McMillan, K. and Middeldorp, A. and Voronkov, A.",
    BookTitle    = "{Proceedings of the 19th International Conference on Logic for Programming,
                    Artificial Intelligence, and Reasoning}",
    Place        = "Stellenbosch, South Africa",
    Series       = "Lecture Notes in Computer Science",
    Number       = "8312",
    Pages        = "274-290",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = ""
}