Journal of Logic and Algebraic Programming, Volume 62

Volume 62, Number 1, January 2005

Volume 62, Number 2, February 2005