Rabin style speed-up of proofs door Anahit Chubaryan