| Title | An Interpolation-Based Compiler and Optimizer for Relational Queries (System Design Report) |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Toman, D., and G. Weddell |
| Conference Name | International Conference on Logic Programming and Automated Reasoning (LPAR) |
| DOI | 10.29007/53fk |
