1. K. Shen and M. V. Hermenegildo, A Simulation Study of Or- and Independent And-Parallelism. In:Logic Programming: Proc. of Int'l. Symp. V. Saraswat and K. Ueda, (eds.), The MIT Press, pp. 135–115 (1991).
2. J. S. Conery and D. F. Kibler, Parallel Interpretation of Logic Programs.Proc. of the ACM Conf. on Functional Programming Languages and Computer Architecture, pp. 163–170 (October 1981).
3. L. V. Kalé, Parallel Architectures for Problem Solving.Ph.D. Thesis, State University of New York at Stony Brook (1985).
4. L. Naish, Parallelizing NU-Prolog.Fifth Int'l. Conf. and Symp. on Logic Programming, University of Washington, The MIT Press, pp. 1546–1564 (August 1988).
5. E. L. Lusk, R. Butler, T. Disz, R. Olson, R. A. Overbeek, R. Stevens, D. H. D. Warren, A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepielewski, and B. Hausman. The Aurora Or-Parallel Prolog System.Proc. of the Int'l. Conf. on Fifth Generation Computer Systems Institute for New Generation Computer Technology,3:819–830 (1988).