TY  - RPRT
TI  - aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
AU  - Martin Gebser
AU  - Roland Kaminski
AU  - Torsten Schaub
PY  - 2011
DO  - 10.4204/eptcs.65.2
UR  - https://arxiv.org/abs/1109.0113
ID  - 1109.0113
ER  -