LIPIcs Vol.11 (ICLP'11)

"LIPIcs: Leibniz International Proceedings in Informatics" is a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl. All LIPIcs volumes are published