@inproceedings{DBLP:conf/iclp/HermenegildoS10,
  title = {Titlepage, Table of Contents, Conference Organization},
  author = {Hermenegildo, Manuel V. and Schaub, Torsten},
  booktitle = {{ICLP} (Technical Communications)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {LIPIcs},
  volume = {7},
  year = {2010}
}