Abstract combinatorial programs and efficient property testers (2005)

by A Czumaj, C Sohler
Venue:SIAM Journal on Computing