APA (7th ed.) Citation

Benedikt, M., Cate, B. D. t., Leblay, J., & Tsamoura, E. (2016). Generating plans from proofs: The interpolation-based approach to query reformulation. Morgan & Claypool. https://doi.org/10.2200/S00703ED1V01Y201602DTM043

Chicago Style (17th ed.) Citation

Benedikt, Michael, Balder David ten Cate, Julien Leblay, and Efthymia Tsamoura. Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation. San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA): Morgan & Claypool, 2016. https://doi.org/10.2200/S00703ED1V01Y201602DTM043.

MLA (9th ed.) Citation

Benedikt, Michael, et al. Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation. Morgan & Claypool, 2016. https://doi.org/10.2200/S00703ED1V01Y201602DTM043.