@article{gebser+:2011-aspcud,
  author = {Gebser, Martin and Kaminski, Roland and Schaub, Torsten},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  issn = {2075-2180},
  journal = {Electronic Proceedings in Theoretical Computer Science},
  month = aug,
  pages = {12--25},
  publisher = {Open Publishing Association},
  title = {aspcud: A Linux Package Configuration Tool Based on Answer Set Programming},
  volume = {65},
  year = {2011},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAfcGFwZXJzL2dlYnNlcisyMDExLWFzcGN1ZC1hLnBkZk8RAYYAAAAAAYYAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xhnZWJzZXIrMjAxMS1hc3BjdWQtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAPi86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6Z2Vic2VyKzIwMTEtYXNwY3VkLWEucGRmAA4AMgAYAGcAZQBiAHMAZQByACsAMgAwADEAMQAtAGEAcwBwAGMAdQBkAC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAPFVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL2dlYnNlcisyMDExLWFzcGN1ZC1hLnBkZgATAAEvAAAVAAIAD///AAAACAANABoAJABGAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAdA=},
  bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.65.2},
  bdsk-url-2 = {http://dx.doi.org/10.4204/eptcs.65.2}
}