Peter Borgwardt Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors. 2-11 1984 SLP db/conf/slp/slp84.html#Borgwardt84