Local checkability, no strings attached.

Klaus-Tycho Frster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer

Browse the full ICDCN paper archive.