Theory and Practice of Logic Programming, Volume 17

Volume 17, Number 1, January 2017

Regular Papers Rapid Communication Technical Note Regular Papers Book Review

Volume 17, Number 2, March 2017

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