Journal of Logic and Algebraic Programming
Journal of Logic and Algebraic Programming > 2009 > 78 > 6 > 454-471
Journal of Logic and Algebraic Programming > 2009 > 78 > 6 > 417-424
Journal of Logic and Algebraic Programming > 2009 > 78 > 6 > 472-490
Journal of Logic and Algebraic Programming > 2009 > 78 > 6 > 425-453