Andreas Björklund, Petteri Kaski. How Proofs are Prepared at Camelot: Extended Abstract. In George Giakkoupis, editor, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25-28, 2016. pages 391-400, ACM, 2016. [doi]
Abstract is missing.