Kacsuk, P. Execution Models for a Massively Parallel Prolog Implementation. Part II. Comput. Inform. 2012, 18, 113-138.