@inproceedings {5208,
	title = {Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk)},
	booktitle = {International Conference on Principles of Knowledge Representation and Reasoning (KR)},
	year = {2021},
	url = {http://ceur-ws.org/Vol-3009/invited1.pdf},
	author = {David Toman and Grant Wedell}
}
