Complete and efficient methods for supporting side-effects and cuts in And-Or parallel Prolog | IEEE Conference Publication | IEEE Xplore