Kacsuk, P. 2012. Execution models for a massively parallel prolog implementation. Part II. Computing and Informatics. 18, 2 (Mar. 2012), 113–138.