P. Kacsuk, “Execution models for a massively parallel prolog implementation. Part I”., Comput. Inform., vol. 17, no. 4, pp. 337–364, Mar. 2012.