You are about to access our book library "Abstraction, Reformulation and Approximation full version" .