Journal of Logic and Algebraic Programming, Volume 71

Volume 71, Number 1, March 2007

Volume 71, Number 2, April 2007