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