@misc{indiciaea43183ad4f0d, title = {How proofs are prepared at Camelot}, author = {Andreas Björklund and Petteri Kaski}, year = {2016}, url = {https://arxiv.org/abs/1602.01295}, note = {Source identifier: 1602.01295} }