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