@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} }