@article{DBLP:journals/tplp/GavanelliG13,
  author = {Gavanelli, Marco and Gebser, Martin},
  title = {The {ICLP} 2013 Doctoral Consortium},
  journal = {{TPLP}},
  volume = {13},
  number = {4-5-Online-Supplement},
  year = {2013}
}