@inproceedings{artho-lococo11,
  author = {C. Artho and K. Suzaki and R. di Cosmo and S. Zacchiroli},
  title = {Sources of Inter-package Conflicts in Debian},
  booktitle = {Proc. \ Workshop on Logics for Component Configuration (LoCoCo~2011)},
  year = {2011},
  address = {Perugia, Italy},
  note = {Short presentation},
}