Kacsuk, P. Execution Models for a Massively Parallel Prolog Implementation. Part I. Comput. Inform. 2012, 17, 337-364.