Péter Kacsuk Some Approaches to Parallel Implementaions of Prolog. 803-809 1986 IFIP Congress db/conf/ifip/ifip86.html#Kacsuk86