Theory and Practice of Logic Programming, Volume 18

Volume 18, Number 1, January 2018

Regular Papers Technical Note Erratum Addendum
maintained by Schloss Dagstuhl LZI at University of Trier