%0 Journal Article %1 journals/corr/BjorklundK16 %A Björklund, Andreas %A Kaski, Petteri %D 2016 %J CoRR %K %T How proofs are prepared at Camelot. %U http://dblp.uni-trier.de/db/journals/corr/corr1602.html#BjorklundK16 %V abs/1602.01295

@article{journals/corr/BjorklundK16, added-at = {2023-12-14T14:27:19.000+0100}, author = {Björklund, Andreas and Kaski, Petteri}, biburl = {https://www.bibsonomy.org/bibtex/2551f5e042339840d2fd1ed664d7cf021/admin}, ee = {http://arxiv.org/abs/1602.01295}, interhash = {dfc5fa2379dfcdc9225f6e63eb8eb9b9}, intrahash = {551f5e042339840d2fd1ed664d7cf021}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T14:27:19.000+0100}, title = {How proofs are prepared at Camelot.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1602.html#BjorklundK16}, volume = {abs/1602.01295}, year = 2016 }