Ehud Y. Shapiro Or-Parallel Prolog in Flat Concurrent Prolog. 243-267 1989 6 J. Log. Program. 3 db/journals/jlp/jlp6.html#Shapiro89