Books and proceedings
- Manuel Hermenegildo and Torsten Schaub, editors. ICLP10l, volume 10(4--6) of TPLP. CUP, July 2010.
- Manuel Hermenegildo and Torsten Schaub, editors. Technical Communications of the 26th Intl. Conf. on Logic Programming, volume 7 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2010. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
BACK TO INDEX