Gopal Gupta Enrico Pontelli Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. 428-435 1997 conf/ipps/1997 IPPS http://www.computer.org/proceedings/ipps/7792/77920428abs.htm db/conf/ipps/ipps1997.html#GuptaP97