Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.

David Delahaye, Damien Doligez, Frdric Gilbert, Pierre Halmagrand, Olivier Hermant

Browse the full LPAR paper archive.