Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 1-18
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 19-44
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 64-86
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 45-63