You are about to access our book library "Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation full version" .