Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog

Gopal Gupta, VĂ­tor Santos Costa. Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. In SPDP. pages 288-295, 1992.

Abstract

Abstract is missing.