Journal of Logic and Algebraic Programming, Volume 48

Volume 48, Number 1-2, May-August 2001

maintained by Schloss Dagstuhl LZI at University of Trier