P. Kacsuk, “Execution models for a massively parallel prolog implementation. Part II”, Comput. Inform., vol. 18, no. 2, pp. 113–138, Mar. 2012.