Articles by Jukka Suomela
Vol 12, Article 19 (pp 1-33)
Locally Checkable Proofs in Distributed Computing
by Mika Göös and Jukka Suomela