Book Generating Plans From Proofs. The Interpolation Based Approach To Query Reformulation