@inproceedings{BovaSzeider17,
 author = {Simone Bova and Stefan Szeider},
 booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI}
Symposium on Principles of Database Systems, {PODS}
2017, Chicago, IL, USA, May 14-19, 2017},
 doi = {10.1145/3034786.3034787},
 editor = {Emanuel Sallinger and Jan Van den Bussche and Floris
Geerts},
 pages = {233--246},
 publisher = {ACM},
 title = {Circuit Treewidth, Sentential Decision, and Query  Compilation},
 url = {https://arxiv.org/abs/1701.04626},
 year = {2017}
}