Kacsuk, P. 2012. Execution models for a massively parallel prolog implementation. Part I. Computing and Informatics. 17, 4 (Mar. 2012), 337–364.