@inproceedings{DBLP:conf/confws/RuhlingSS23, title = {Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report}, author = {R{\"{u}}hling, Nicolas and Schaub, Torsten and Stolzmann, Tobias}, booktitle = {ConfWS}, pages = {85--94}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, volume = {3509}, year = {2023} }