Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism