@inproceedings {4936,
	title = {An Interpolation-Based Compiler and Optimizer for Relational Queries (System Design Report)},
	booktitle = {International Conference on Logic Programming and Automated Reasoning (LPAR)},
	year = {2017},
	doi = {10.29007/53fk},
	author = {David Toman and Grant Weddell}
}
