doi dblp Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation Michael Benedikt | Julien Leblay | Balder ten Cate | Efthymia Tsamoura 2016