Chengzheng Sun Yungui Ci The OR-forest-based parallel execution model of logic programs. 25-34 1990 6 Future Gener. Comput. Syst. 1 https://doi.org/10.1016/0167-739X(90)90006-Y db/journals/fgcs/fgcs6.html#SunC90