Kacsuk, P. 2012. Execution models for a massively parallel prolog implementation. Part II. COMPUTING AND INFORMATICS. 18, 2 (Mar. 2012), 113–138.