@inproceedings {4948,
	title = {On Enumerating Query Plans Using Analytic Tableau},
	booktitle = {International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)},
	year = {2015},
	doi = {10.1007/978-3-319-24312-2_23},
	author = {Alexander K. Hudek and David Toman and Grant Weddell}
}
