@misc{OstrowskiSchaub2019, author = {Max Ostrowski and Torsten H. Schaub}, title = {ASP modulo CSP}, booktitle = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe}, number = {579}, issn = {1866-8372}, doi = {10.25932/publishup-41390}, institution = {Mathematisch-Naturwissenschaftliche Fakult{\"a}t}, series = {Zweitver{\"o}ffentlichungen der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe}, number = {579}, type = {postprint}, pages = {19}, year = {2019}, }