E- text books

Description

Title of E-book: Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
Author: Benedikt 
Publisher: Morgan & Claypool
Access online