@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} }