Laxmikant V. Kalé The Reduce-Or Process Model for Parallel Execution of Logic Programs. 55-84 1991 11 J. Log. Program. 1&2 db/journals/jlp/jlp11.html#Kale91