Jiwei Wang Andy Marsh Simon H. Lavington Non-WAM Models of Logic Programming and Their Support by Novel Parallel Hardware. 253-269 1990 conf/dagstuhl/1990pis Dagstuhl Seminar on Parallelization in Inference Systems db/conf/dagstuhl/pis1990.html#WangML90