| Title | On Enumerating Query Plans Using Analytic Tableau |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Hudek, A. K., D. Toman, and G. Weddell |
| Conference Name | International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX) |
| DOI | 10.1007/978-3-319-24312-2_23 |
