Journal of Logic and Algebraic Programming
Journal of Logic and Algebraic Programming > 2008 > 74 > 2 > 57-93
Journal of Logic and Algebraic Programming > 2008 > 74 > 2 > 94-111
Journal of Logic and Algebraic Programming > 2008 > 74 > 2 > 112-114