Desh Ranjan Enrico Pontelli Gopal Gupta On the Complexity of Or-Parallelism. 285-307 1999 17 New Generation Comput. 3 db/journals/ngc/ngc17.html#RanjanPG99