Clipping: A Semantics-Directed Syntactic Approximation.

Dan R. Ghica, Adam Bakewell

Browse the full LICS paper archive.