@inproceedings{DBLP:journals/corr/abs-1109-0113,
  title = {aspcud: {A} Linux Package Configuration Tool Based on Answer Set Programming},
  author = {Gebser, Martin and Kaminski, Roland and Schaub, Torsten},
  booktitle = {LoCoCo},
  pages = {12--25},
  series = {{EPTCS}},
  volume = {65},
  year = {2011}
}