Mika Göös, Jukka Suomela. Locally checkable proofs. In Cyril Gavoille, Pierre Fraigniaud, editors, Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011. pages 159-168, ACM, 2011. [doi]
Abstract is missing.