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