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