@inproceedings{DBLP:conf/iclp/EiterHK21,
  title = {aspmc: An Algebraic Answer Set Counter},
  author = {Eiter, Thomas and Hecher, Markus and Kiesel, Rafael},
  booktitle = {{ICLP} Workshops},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  volume = {2970},
  year = {2021}
}