Journal of Logic and Algebraic Programming, Volume 62

Volume 62, Number 1, January 2005

Volume 62, Number 2, February 2005

maintained by Schloss Dagstuhl LZI at University of Trier