Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism (1991)

by V Santos Costa, D H D Warren, R Yang
Venue:In Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming