Kacsuk, P. 2012. Execution models for a massively parallel prolog implementation. Part I. COMPUTING AND INFORMATICS. 17, 4 (Mar. 2012), 337–364.