@inproceedings{BovaSlivovsky15,
 author = {Simone Bova and
Friedrich Slivovsky},
 booktitle = {Computer Science - Theory and Applications - 10th International Computer
Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
13-17, 2015, Proceedings},
 pages = {80–93},
 title = {On Compiling Structured CNFs to OBDDs},
 year = {2015}
}