A STRUCTURAL THEOREM FOR LOCAL ALGORITHMS WITH APPLICATIONS TO CODING, TESTING, AND VERIFICATION. - DALL'AGNOL, MARCEL; GUR, TOM; LACHISH, ODED (SIAM Journal on Computing, 2023)