Journal of Logic and Algebraic Programming, Volume 49

Volume 49, Number 1-2, September-December 2001

maintained by Schloss Dagstuhl LZI at University of Trier