| Title | Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk) |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Toman, D., and G. Wedell |
| Conference Name | International Conference on Principles of Knowledge Representation and Reasoning (KR) |
| URL | http://ceur-ws.org/Vol-3009/invited1.pdf |
