Fico, M. (2012). Theory of local register allocation for prolog clauses II. Computing and Informatics, 19(1), 79–103. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/554