@misc{indiciae34422b17e3a1,
  title = {aspcud: A Linux Package Configuration Tool Based on Answer Set Programming},
  author = {Martin Gebser and Roland Kaminski and Torsten Schaub},
  year = {2011},
  doi = {10.4204/eptcs.65.2},
  url = {https://arxiv.org/abs/1109.0113},
  note = {Source identifier: 1109.0113}
}