Kacsuk, P. 2012. “Execution Models for a Massively Parallel Prolog Implementation. Part II”. Computing and Informatics 18 (2):113-38. http://147.213.75.17/ojs/index.php/cai/article/view/604.