Gopal Gupta Bharat Jayaraman And-Or Parallelism on Shared-Memory Multiprocessors. 59-89 1993 17 J. Log. Program. 1 db/journals/jlp/jlp17.html#GuptaJ93