@inproceedings{BiereHoelldoblerMoehle-YSIP2-2017,
  author = {Armin Biere and Steffen H\"{o}lldobler and Sibylle M\"{o}hle},
  title = {An Abstract Dual Propositional Model Counter},
  booktitle = {Young Scientist's International Workshop on Trends in Information
   Processing (YSIP2'17)},
  series    = {{CEUR} Workshop Proceedings},
  volume = {1837},
  publisher = {CEUR-WS.org},
  pages = {17-26},
  year = {2017},
}