1. Parallel logic programming languages;Takeuchi,1986
2. A vectorization technique for prolog without explosion;Kanada,1989
3. A flat GHC implementation for supercomputers;Nilsson,1988
4. An abstract prolog instruction set;Warren,1983
5. Data structures for associative supercomputers;Potter,1988