@article{DBLP:journals/ki/HaubeltNSW18,
  author = {Haubelt, Christian and Neubauer, Kai and Schaub, Torsten and Wanko, Philipp},
  title = {Design Space Exploration with Answer Set Programming},
  journal = {{KI}},
  volume = {32},
  number = {2-3},
  pages = {205--206},
  year = {2018}
}