Transforming generate-and-test programs to execute under committed-choice AND-parallelism Arvind K. BansalLeon S. Sterling OriginalPaper Pages: 401 - 446