Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo