Fico, M. (2012). Theory of local register allocation for prolog clauses II. COMPUTING AND INFORMATICS, 19(1), 79–103. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/554