Péter Kacsuk A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation. 52-63 1991 34 Comput. J. 1 db/journals/cj/cj34.html#Kacsuk91