Journal of Logic Programming, Volume 95

Volume 95, February 2018

maintained by Schloss Dagstuhl LZI, founded at University of Trier