1. K. A. M. Ali. Or-parallel execution of PROLOG on a multi-sequential machine. Int. Journal of Parallel Programming, 15(3):189–214, 1987.
2. W. Ertel. Random Competition: A Simple, but Efficient Method for Parallelizing Inference Systems. In B. Fronhöfer and G. Wrightson, editors, Parallelization in Inference Systems. LNAI 590, Springer-Verlag, 1992.
3. B. Fronhöfer and F. Kurfeß. Cooperative Competition: A Modest Proposal Concerning the Use of Multi-Processor Systems for Automated Reasoning. Technical Report ATP-74-VTI-87, Institut für Informatik, Technische Universität München, 1987.
4. V. K. Janakiram, D. P. Agrawal, and R. Mehrotra. Randomized Parallel Algorithms for Prolog Programs and Backtracking Applications. In Int. Conf. on Parallel Processing, pages 278–281, 1987.
5. V. Kumar and V. N. Rao. Scalable Parallel Formulations of Depth-First Search. In Vipin Kumar, P.S. Gopalakrishnan, and Laveen N. Kanal, editors, Parallel Algorithmus for Maschine Intelligence and Vision, pages 1–41. Springer Verlag, New York, 1990.