Journal of logical and algebraic methods in programming. Vol. 85, iss. 6, NWPT 20132016