Unbounded Proof-Length Speed-Up in Deduction Modulo.

Guillaume Burel

Browse the full CSL paper archive.