@article{v012a019, author = {G{\"o}{\"o}s, Mika and Suomela, Jukka}, title = {Locally Checkable Proofs in Distributed Computing}, year = {2016}, pages = {1--33}, doi = {10.4086/toc.2016.v012a019}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {12}, number = {19}, URL = {https://theoryofcomputing.org/articles/v012a019}, }