How Proofs are Prepared at Camelot: Extended Abstract.

Andreas Bjrklund, Petteri Kaski

Browse the full PODC paper archive.