1. Foto Afrati and Rada Chirkova . 2019. Answering Queries Using Views . Morgan & Claypool Publishers . Foto Afrati and Rada Chirkova. 2019. Answering Queries Using Views. Morgan & Claypool Publishers.
2. John L. Bell . 2014. Intuitionistic set theory . Vol. 50 . College Publications London . John L. Bell. 2014. Intuitionistic set theory. Vol. 50. College Publications London.
3. Michael Benedikt , Pierre Bourhis , and Michael Vanden Boom . 2019 . Definability and Interpolation within Decidable Fixpoint Logics . Log. Methods Comput. Sci. , Vol. 15 , 3 (2019), 29:1--29:53. Michael Benedikt, Pierre Bourhis, and Michael Vanden Boom. 2019. Definability and Interpolation within Decidable Fixpoint Logics. Log. Methods Comput. Sci. , Vol. 15, 3 (2019), 29:1--29:53.
4. Michael Benedikt , Balden Ten Cate , Julien Leblay, and Efthymia Tsamoura. 2016 a. Generating Plans from Proofs : The Interpolation-Based Approach to Query Reformulation. Morgan Claypool . Michael Benedikt, Balden Ten Cate, Julien Leblay, and Efthymia Tsamoura. 2016a. Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation. Morgan Claypool.
5. Michael Benedikt , Egor V. Kostylev , Fabio Mogavero , and Efthymia Tsamoura . 2017 . Reformulating Queries: Theory and Practice. In IJCAI. Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, and Efthymia Tsamoura. 2017. Reformulating Queries: Theory and Practice. In IJCAI.