EasyChair Smart Slide
A logical characterization of strictly local functions
A logical characterization of strictly local functions